Filter your results
- 3
- 3
- 3
- 3
- 2
- 1
- 2
- 1
- 1
- 3
- 2
- 2
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
A context-free linear ordering with an undecidable first-order theory7th International Conference on Theoretical Computer Science (TCS), Sep 2012, Amsterdam, Netherlands. pp.104-118, ⟨10.1007/978-3-642-33475-7_8⟩
Conference papers
hal-00733458v1
|
||
|
A Model Theoretic Proof of Completeness of an Axiomatization of Monadic Second-Order Logic on Streams7th International Conference on Theoretical Computer Science (TCS), Sep 2012, Amsterdam, Netherlands. pp.310-324, ⟨10.1007/978-3-642-33475-7_22⟩
Conference papers
hal-00692153v1
|
||
|
Proofs as Executions7th International Conference on Theoretical Computer Science (TCS), Sep 2012, Amsterdam, Netherlands. pp.280-294, ⟨10.1007/978-3-642-33475-7_20⟩
Conference papers
hal-00586459v2
|