Search - IFIP Open Digital Library Access content directly

Filter your results

3 results
Author: personID (integer) : 1024582
Image document

Nondeterminism Growth and State Complexity

Chris Keeler , Kai Salomaa
21th 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
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
Image document

Cycle Height of Finite Automata

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