Inproceedings,

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)

Meta data

Tags

Users

  • @dblp

Comments and Reviews