@dblp

Equivalence Checking of Prefix-Free Transducers and Deterministic Two-Tape Automata.

. LATA, Volume 11417 von Lecture Notes in Computer Science, Seite 146-158. Springer, (2019)

Links und Ressourcen

Tags