| Home |
| About |
| Submission |
| Updating Entries |
| Using Entries |
| Search |
| Statistics |
| Index |
| Download |
Christian Urban
| Website: http://www.inf.kcl.ac.uk/staff/urbanc/ |
Entries
| 2019 |
| February 8: Universal Turing Machine |
| 2016 |
| May 24: POSIX Lexing with Derivatives of Regular Expressions |
| 2013 |
| February 21: Nominal 2 |
| 2011 |
| August 26: The Myhill-Nerode Theorem Based on Regular Expressions |