Efficient Construction of Reversible Transducers from Regular Transducer Expressions - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Luc Dartois, Paul Gastin, R. Govind 0001, Shankara Narayanan Krishna. Efficient Construction of Reversible Transducers from Regular Transducer Expressions. In Christel Baier, Dana Fisman, editors, LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2 - 5, 2022. ACM, 2022. [doi]

This author has not been identified. Look up 'Luc Dartois' in GoogleThis author has not been identified. Look up 'Paul Gastin' in GoogleThis author has not been identified. Look up 'R. Govind 0001' in GoogleThis author has not been identified. Look up 'Shankara Narayanan Krishna' in Google

runs on WebDSL