Filter your results
- 2
- 2
- 2
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
Limited Nondeterminism of Input-Driven Pushdown Automata: Decidability and Complexity21th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2019, Košice, Slovakia. pp.158-170, ⟨10.1007/978-3-030-23247-4_12⟩
Conference papers
hal-02387306v1
|
||
|
|
Site-Directed Insertion: Decision Problems, Maximality and Minimality20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Halifax, NS, Canada. pp.49-61, ⟨10.1007/978-3-319-94631-3_5⟩
Conference papers
hal-01905635v1
|