equal
deleted
inserted
replaced
35 <!-- left column --> |
35 <!-- left column --> |
36 <TR> |
36 <TR> |
37 <TD BGCOLOR="#FFFFFF" |
37 <TD BGCOLOR="#FFFFFF" |
38 WIDTH="24%" |
38 WIDTH="24%" |
39 VALIGN="TOP" |
39 VALIGN="TOP" |
40 ROWSPAN="20"> |
40 ROWSPAN="21"> |
41 |
41 |
42 <B>Links</B><BR> |
42 <B>Links</B><BR> |
43 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/">Home</A><BR> |
43 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/">Home</A><BR> |
44 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/publications.html">Publications</A><BR> |
44 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/publications.html">Publications</A><BR> |
45 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/teaching.html">Teaching</A><BR> |
45 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/teaching.html">Teaching</A><BR> |
96 <TR> |
96 <TR> |
97 <TD BGCOLOR="FFFFFF" WIDTH="75%"> |
97 <TD BGCOLOR="FFFFFF" WIDTH="75%"> |
98 <H3>2015</H3> |
98 <H3>2015</H3> |
99 <p><B>Proceedings of the 6th International Conference on Interactive Theorem Proving</B> |
99 <p><B>Proceedings of the 6th International Conference on Interactive Theorem Proving</B> |
100 (with Zhang) Volume <A HREF="http://link.springer.com/book/10.1007/978-3-319-22102-1">9236</A> |
100 (with Zhang) Volume <A HREF="http://link.springer.com/book/10.1007/978-3-319-22102-1">9236</A> |
101 of LNCS, Springer Verlag, 2015 |
101 of LNCS, Springer Verlag, 2015. |
102 </TD> |
102 </TD> |
103 </TR> |
103 </TR> |
104 |
104 |
105 <TR> |
105 </TR> |
106 <TD BGCOLOR="FFFFFF" WIDTH="75%"> |
106 <TD BGCOLOR="FFFFFF" WIDTH="75%"> |
107 <H3>2014</H3> |
107 <H3>2014</H3> |
108 <p><B>A Formalisation of the Myhill-Nerode Theorem based on Regular Expressions.</B> |
108 <p><B>A Formalisation of the Myhill-Nerode Theorem based on Regular Expressions.</B> |
109 (with Wu and Zhang) In |
109 (with Wu and Zhang) In |
110 Journal of Automatic Reasoning, 2014, Vol. 52(4), 451-480. |
110 Journal of Automatic Reasoning, 2014, Vol. 52(4), 451-480. |
516 </TR> |
516 </TR> |
517 |
517 |
518 |
518 |
519 </TABLE> |
519 </TABLE> |
520 <P> |
520 <P> |
521 <!-- hhmts start --> Last modified: Sun May 8 10:08:26 BST 2016 <!-- hhmts end --> |
521 <!-- hhmts start --> Last modified: Sun May 8 10:16:10 BST 2016 <!-- hhmts end --> |
522 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
522 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
523 |
523 |
524 </BODY> |
524 </BODY> |
525 </HTML> |
525 </HTML> |