Skip to content

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

Vladimir A. Zakharov

VenueCLATA
Year2019
ProceedingsLATA

Browse the full LATA paper archive.