Christian Urban

Nominal Unification

by Guilherme Borges Brandão, Thomas Ammer, Daniele Nantes Sobrinho, Mauricio Ayala-Rinción, Christian Urban, Maribel Fernández and Mohammad Abdulaziz

Universal Turing Machine

by Jian Xu, Xingyuan Zhang, Christian Urban, Sebastiaan J. C. Joosten and Franz Regensburger

POSIX Lexing with Derivatives of Regular Expressions

by Fahad Ausaf, Roy Dyckhoff and Christian Urban

Nominal 2

by Christian Urban, Stefan Berghofer and Cezary Kaliszyk

The Myhill-Nerode Theorem Based on Regular Expressions

by Chunhan Wu, Xingyuan Zhang and Christian Urban