Universal Turing Machine
by Jian Xu, Xingyuan Zhang, Christian Urban and Sebastiaan J. C. Joosten
Christian Urban
2019
2016
POSIX Lexing with Derivatives of Regular Expressions
by Fahad Ausaf, Roy Dyckhoff and Christian Urban
2013
Nominal 2
by Christian Urban, Stefan Berghofer and Cezary Kaliszyk
2011
The Myhill-Nerode Theorem Based on Regular Expressions
by Chunhan Wu, Xingyuan Zhang and Christian Urban