Efficient Construction of Reversible Transducers from Regular Transducer Expressions.
Luc Dartois, Paul Gastin, R. Govind, Shankara Narayanan Krishna
Browse the full LICS paper archive.
Luc Dartois, Paul Gastin, R. Govind, Shankara Narayanan Krishna
Browse the full LICS paper archive.