# HG changeset patch # User Christian Urban # Date 1409672282 -3600 # Node ID 969c1a87d9facebf93ea6d6ba911b73a49cd005e # Parent 43bde3bb47895bb960eb9eed7631fd779e80c35b updated diff -r 43bde3bb4789 -r 969c1a87d9fa publications.html --- a/publications.html Tue Sep 02 16:37:14 2014 +0100 +++ b/publications.html Tue Sep 02 16:38:02 2014 +0100 @@ -102,7 +102,7 @@ -

2013

+

2014

A Formalisation of the Myhill-Nerode Theorem based on Regular Expressions. (with Wu and Zhang) In Journal of Automatic Reasoning, 2014, Vol. 52(4), 451-480. @@ -503,7 +503,7 @@

- Last modified: Tue Sep 2 16:36:55 BST 2014 + Last modified: Tue Sep 2 16:37:58 BST 2014 [Validate this page.]