Search - IFIP Open Digital Library Access content directly

Filter your results

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

Concise Representations of Reversible Automata

Giovanna J. Lavado , Luca Prigioniero
19th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2017, Milano, Italy. pp.238-249, ⟨10.1007/978-3-319-60252-3_19⟩
Conference papers hal-01657009v1
Image document

Minimal and Reduced Reversible Automata

Giovanna J. Lavado , Giovanni Pighizzini , Luca Prigioniero
18th International Workshop on Descriptional Complexity of Formal Systems (DCFS), Jul 2016, Bucharest, Romania. pp.168-179, ⟨10.1007/978-3-319-41114-9_13⟩
Conference papers hal-01633945v1