Regular Transformations of Infinite Strings - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Rajeev Alur, Emmanuel Filiot, Ashutosh Trivedi. Regular Transformations of Infinite Strings. In Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, LICS 2012, Dubrovnik, Croatia, June 25-28, 2012. pages 65-74, IEEE, 2012. [doi]

The following publications are possibly variants of this publication:

FO-Definable Transformations of Infinite StringsVrunda Dave, Shankara Narayanan Krishna, Ashutosh Trivedi. fsttcs 2016: [doi]

runs on WebDSL