equal
deleted
inserted
replaced
152 <H3>2011</H3> |
152 <H3>2011</H3> |
153 <p><B>General Bindings and Alpha-Equivalence in Nominal Isabelle.</B> |
153 <p><B>General Bindings and Alpha-Equivalence in Nominal Isabelle.</B> |
154 (with Kaliszyk) |
154 (with Kaliszyk) |
155 In Proceedings of the 20th European Symposium on Programming (ESOP 2011). |
155 In Proceedings of the 20th European Symposium on Programming (ESOP 2011). |
156 In Volume 6602 of Lecture Notes in Computer Science. Pages 480-500. |
156 In Volume 6602 of Lecture Notes in Computer Science. Pages 480-500. |
157 © <A HREF="http://link.springer.de/link/service/series/0558/tocs/t6602.htm">Springer Verlag</A> |
157 © <A HREF="http://link.springer.com/chapter/10.1007%2F978-3-642-19718-5_25">Springer Verlag</A> |
158 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/esop-11.pdf">pdf</A>] |
158 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/esop-11.pdf">pdf</A>] |
159 |
159 |
160 <p><B>A Formalisation of the Myhill-Nerode Theorem based on Regular Expressions (Proof |
160 <p><B>A Formalisation of the Myhill-Nerode Theorem based on Regular Expressions (Proof |
161 Pearl).</B> |
161 Pearl).</B> |
162 (with Wu and Zhang) |
162 (with Wu and Zhang) |
493 </TR> |
493 </TR> |
494 |
494 |
495 |
495 |
496 </TABLE> |
496 </TABLE> |
497 <P> |
497 <P> |
498 <!-- hhmts start --> Last modified: Thu Sep 12 10:48:54 CEST 2013 <!-- hhmts end --> |
498 <!-- hhmts start --> Last modified: Fri Sep 27 14:11:04 BST 2013 <!-- hhmts end --> |
499 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
499 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
500 |
500 |
501 </BODY> |
501 </BODY> |
502 </HTML> |
502 </HTML> |