Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

2 results
Deposit type : Fulltext
hal_authIdPerson_i : 1024589
Image document

Further Closure Properties of Input-Driven Pushdown Automata

Alexander Okhotin , Kai Salomaa
20th 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
Image document

State Complexity of Unambiguous Operations on Deterministic Finite Automata

Galina Jirásková , Alexander Okhotin
20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Halifax, NS, Canada. pp.188-199, ⟨10.1007/978-3-319-94631-3_16⟩
Conference papers hal-01905641v1