A Characterisation of Languages on Infinite Alphabets with Nominal Regular Expressions

Alexander Kurz, Tomoyuki Suzuki 0001, Emilio Tuosto. A Characterisation of Languages on Infinite Alphabets with Nominal Regular Expressions. In Jos C. M. Baeten, Thomas Ball, Frank S. de Boer, editors, Theoretical Computer Science - 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings. Volume 7604 of Lecture Notes in Computer Science, pages 193-208, Springer, 2012. [doi]

Authors

Alexander Kurz

This author has not been identified. Look up 'Alexander Kurz' in Google

Tomoyuki Suzuki 0001

This author has not been identified. Look up 'Tomoyuki Suzuki 0001' in Google

Emilio Tuosto

This author has not been identified. Look up 'Emilio Tuosto' in Google