publications.html
changeset 307 969c1a87d9fa
parent 306 43bde3bb4789
child 308 cdacc1d732a0
equal deleted inserted replaced
306:43bde3bb4789 307:969c1a87d9fa
   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>