Filter your results
- 9
- 9
- 9
- 2
- 3
- 3
- 1
- 9
- 1
- 9
- 3
- 2
- 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
|
||
|
Nondeterminism Growth and State Complexity21th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2019, Košice, Slovakia. pp.210-222, ⟨10.1007/978-3-030-23247-4_16⟩
Conference papers
hal-02387283v1
|
||
|
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
|
||
|
Further Closure Properties of Input-Driven Pushdown Automata20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Halifax, NS, Canada. pp.224-236, ⟨10.1007/978-3-319-94631-3_19⟩
Conference papers
hal-01905626v1
|
||
|
Cycle Height of Finite Automata20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Halifax, NS, Canada. pp.200-211, ⟨10.1007/978-3-319-94631-3_17⟩
Conference papers
hal-01905622v1
|
||
|
The Quotient Operation on Input-Driven Pushdown Automata19th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2017, Milano, Italy. pp.299-310, ⟨10.1007/978-3-319-60252-3_24⟩
Conference papers
hal-01657008v1
|
||
|
Branching Measures and Nearly Acyclic NFAs19th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2017, Milano, Italy. pp.202-213, ⟨10.1007/978-3-319-60252-3_16⟩
Conference papers
hal-01657000v1
|
||
|
State Complexity of Suffix Distance19th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2017, Milano, Italy. pp.287-298, ⟨10.1007/978-3-319-60252-3_23⟩
Conference papers
hal-01656995v1
|
||
|
State Complexity of Prefix Distance of Subregular Languages18th International Workshop on Descriptional Complexity of Formal Systems (DCFS), Jul 2016, Bucharest, Romania. pp.192-204, ⟨10.1007/978-3-319-41114-9_15⟩
Conference papers
hal-01633944v1
|