Filter your results
- 4
- 1
- 3
- 1
- 1
- 5
- 1
- 2
- 1
- 1
- 5
- 3
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
Minimal and Reduced Reversible Automata18th International Workshop on Descriptional Complexity of Formal Systems (DCFS), Jul 2016, Bucharest, Romania. pp.168-179, ⟨10.1007/978-3-319-41114-9_13⟩
Conference papers
hal-01633945v1
|
||
|
|
Hot Current Topics of Descriptional ComplexityAdvancing Research in Information and Communication Technology, AICT-600, pp.3-28, 2021, ⟨10.1007/978-3-030-81701-5_1⟩
Book sections
hal-03325981v1
|
||
|
|
Pushdown Automata and Constant Height: Decidability and Bounds21th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2019, Košice, Slovakia. pp.260-271, ⟨10.1007/978-3-030-23247-4_20⟩
Conference papers
hal-02387302v1
|
||
|
|
Descriptional Complexity of Formal SystemsSpringer International Publishing, LNCS-10316, 2017, Lecture Notes in Computer Science, 978-3-319-60251-6. ⟨10.1007/978-3-319-60252-3⟩
Books
hal-01656999v1
|
||
|
|
Limited Automata: Properties, Complexity and Variants21th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2019, Košice, Slovakia. pp.57-73, ⟨10.1007/978-3-030-23247-4_4⟩
Conference papers
hal-02387288v1
|