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

Filter your results

3 results
Deposit type : Fulltext
hal_authIdPerson_i : 1022715
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
Image document

State Complexity of Suffix Distance

Timothy Ng , David Rappaport , Kai Salomaa
19th 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
Image document

Branching Measures and Nearly Acyclic NFAs

Chris Keeler , Kai Salomaa
19th 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