Filter your results
- 2
- 2
- 2
- 1
- 1
- 2
- 2
- 2
|
|
|
sorted by
|
|
|
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
|
||
|
|
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
|