Christian Urban

Homepages 🌐

• https://nms.kcl.ac.uk/christian.urban/

Entries

2019

Universal Turing Machine

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

Feb 08

2016

POSIX Lexing with Derivatives of Regular Expressions

by Fahad Ausaf 🌐, Roy Dyckhoff 🌐 and Christian Urban 🌐

May 24

2013

Nominal 2

by Christian Urban 🌐, Stefan Berghofer 🌐 and Cezary Kaliszyk 🌐

Feb 21

2011

The Myhill-Nerode Theorem Based on Regular Expressions

by Chunhan Wu, Xingyuan Zhang and Christian Urban 🌐

Aug 26