Search - IFIP Open Digital Library Access content directly

Filter your results

1 Array
Author: personID (integer) : 1024579
Image document

A Pumping Lemma for Ordered Restarting Automata

Kent Kwee , Friedrich Otto
19th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2017, Milano, Italy. pp.226-237, ⟨10.1007/978-3-319-60252-3_18⟩
Conference papers hal-01656996v1