equal
deleted
inserted
replaced
102 |
102 |
103 <TR> |
103 <TR> |
104 <TD BGCOLOR="FFFFFF" WIDTH="75%"> |
104 <TD BGCOLOR="FFFFFF" WIDTH="75%"> |
105 <H3>2013</H3> |
105 <H3>2013</H3> |
106 <p><B>A Formalisation of the Myhill-Nerode Theorem based on Regular Expressions.</B> |
106 <p><B>A Formalisation of the Myhill-Nerode Theorem based on Regular Expressions.</B> |
107 (with Wu and Zhang) Accepted in the Journal of Automated Reasoning, 2013 |
107 (with Wu and Zhang) In |
|
108 Journal of Automatic Reasoning, 2014, Vol. 52(4), 451-480. |
108 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/rexp.pdf">pdf</A>] |
109 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/rexp.pdf">pdf</A>] |
109 |
110 |
110 <p><B>Mechanising Turing Machines and Computability Theory in Isabelle/HOL.</B> |
111 <p><B>Mechanising Turing Machines and Computability Theory in Isabelle/HOL.</B> |
111 (with Xu and Zhang) In Proceedings of the 4th Conference on Interactive |
112 (with Xu and Zhang) In Proceedings of the 4th Conference on Interactive |
112 Theorem Proving (ITP 2013). In Volume 7998 of Lecture Notes in |
113 Theorem Proving (ITP 2013). In Volume 7998 of Lecture Notes in |
495 </TR> |
496 </TR> |
496 |
497 |
497 |
498 |
498 </TABLE> |
499 </TABLE> |
499 <P> |
500 <P> |
500 <!-- hhmts start --> Last modified: Sat Dec 14 19:50:32 EST 2013 <!-- hhmts end --> |
501 <!-- hhmts start --> Last modified: Sun Mar 16 02:22:24 GMT 2014 <!-- hhmts end --> |
501 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
502 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
502 |
503 |
503 </BODY> |
504 </BODY> |
504 </HTML> |
505 </HTML> |