126 <TD BGCOLOR="FFFFFF" WIDTH="75%"> |
126 <TD BGCOLOR="FFFFFF" WIDTH="75%"> |
127 <H3>2014</H3> |
127 <H3>2014</H3> |
128 <p><B>A Formalisation of the Myhill-Nerode Theorem based on Regular Expressions.</B> |
128 <p><B>A Formalisation of the Myhill-Nerode Theorem based on Regular Expressions.</B> |
129 (with Wu and Zhang) In |
129 (with Wu and Zhang) In |
130 Journal of Automatic Reasoning, 2014, Vol. 52(4), 451-480. |
130 Journal of Automatic Reasoning, 2014, Vol. 52(4), 451-480. |
131 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/rexp.pdf">pdf</A>] |
131 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/rexp.pdf">pdf</A>]<BR><BR> |
|
132 |
|
133 (You should really use the linked version above, rather than the published |
|
134 version from Springer: somehow Springer managed to delete the rather important |
|
135 word ``finite'' from Theorem 5. They probably did not like our formatting and |
|
136 fooled around with our formulas. And we of course did not notice in the galley |
|
137 proofs.) |
|
138 |
132 <p><B>Revisiting Zucker's Work on the Correspondence Between Cut-Elimination and |
139 <p><B>Revisiting Zucker's Work on the Correspondence Between Cut-Elimination and |
133 Normalisation.</B> In Advances in Natural Deduction: A Celebration of Dag Prawitz's Work, |
140 Normalisation.</B> In Advances in Natural Deduction: A Celebration of Dag Prawitz's Work, |
134 Trends in Logic Series, Volume 39, 2014, Pages 31-50. |
141 Trends in Logic Series, Volume 39, 2014, Pages 31-50. |
135 <A HREF="http://link.springer.com/book/10.1007/978-94-007-7548-0">Springer Verlag</A> |
142 <A HREF="http://link.springer.com/book/10.1007/978-94-007-7548-0">Springer Verlag</A> |
136 </TD> |
143 </TD> |