Search - Descriptional Complexity of Formal Systems (DCFS 2017) Access content directly

Filter your results

1 Array
Image document

The Quotient Operation on Input-Driven Pushdown Automata

Alexander Okhotin , Kai Salomaa
19th 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