@dblp

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

. LATA, volume 11417 of Lecture Notes in Computer Science, page 146-158. Springer, (2019)

Links and resources

Tags