Search - IFIP Open Digital Library Access content directly

Filter your results

2 results
Author: personID (integer) : 1024585
Image document

NFA-to-DFA Trade-Off for Regular Operations

Galina Jirásková , Ivana Krajňáková
21th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2019, Košice, Slovakia. pp.184-196, ⟨10.1007/978-3-030-23247-4_14⟩
Conference papers hal-02387289v1
Image document

Square on Deterministic, Alternating, and Boolean Finite Automata

Ivana Krajňáková , Galina Jirásková
19th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2017, Milano, Italy. pp.214-225, ⟨10.1007/978-3-319-60252-3_17⟩
Conference papers hal-01657005v1