equal
deleted
inserted
replaced
100 </TD> |
100 </TD> |
101 </TR> |
101 </TR> |
102 |
102 |
103 <TR> |
103 <TR> |
104 <TD BGCOLOR="FFFFFF" WIDTH="75%"> |
104 <TD BGCOLOR="FFFFFF" WIDTH="75%"> |
105 <H3>2013</H3> |
105 <H3>2014</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) In |
107 (with Wu and Zhang) In |
108 Journal of Automatic Reasoning, 2014, Vol. 52(4), 451-480. |
108 Journal of Automatic Reasoning, 2014, Vol. 52(4), 451-480. |
109 [<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>] |
110 <p><B>Revisiting Zucker's Work on the Correspondence Between Cut-Elimination and |
110 <p><B>Revisiting Zucker's Work on the Correspondence Between Cut-Elimination and |
501 </TR> |
501 </TR> |
502 |
502 |
503 |
503 |
504 </TABLE> |
504 </TABLE> |
505 <P> |
505 <P> |
506 <!-- hhmts start --> Last modified: Tue Sep 2 16:36:55 BST 2014 <!-- hhmts end --> |
506 <!-- hhmts start --> Last modified: Tue Sep 2 16:37:58 BST 2014 <!-- hhmts end --> |
507 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
507 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
508 |
508 |
509 </BODY> |
509 </BODY> |
510 </HTML> |
510 </HTML> |