equal
deleted
inserted
replaced
87 <p><B>A Formalisation of the Myhill-Nerode Theorem based on Regular Expressions.</B> |
87 <p><B>A Formalisation of the Myhill-Nerode Theorem based on Regular Expressions.</B> |
88 (with Wu and Zhang) Journal version. Submitted. |
88 (with Wu and Zhang) Journal version. Submitted. |
89 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/rexp.pdf">pdf</A>] |
89 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/rexp.pdf">pdf</A>] |
90 |
90 |
91 <p><B>General Bindings and Alpha-Equivalence in Nominal Isabelle.</B> |
91 <p><B>General Bindings and Alpha-Equivalence in Nominal Isabelle.</B> |
92 (with Kaliszyk) Journal version. Submitted. |
92 (with Kaliszyk) Accepted for publication in the Journal on Logical |
|
93 Methods in Computer Science. |
93 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/lmcs.pdf">pdf</A>] |
94 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/lmcs.pdf">pdf</A>] |
94 |
95 |
95 <p><B>How to Prove False using the Variable Convention.</B> |
96 <p><B>How to Prove False using the Variable Convention.</B> |
96 Appears as a poster at TTVSI, 1 page. |
97 Appears as a poster at TTVSI, 1 page. |
97 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/mike-poster-abstract-08.pdf">pdf</A>] |
98 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/mike-poster-abstract-08.pdf">pdf</A>] |