Mercurial Mercurial > hg > public_html / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
added tm paper
authorChristian Urban <christian dot urban at kcl dot ac dot uk>
Wed, 13 Feb 2013 00:10:37 +0000
changeset 174 b6a410dac105
parent 173 db02820fd029
child 175 a63fab39959b
added tm paper
Publications/tm.pdf file | annotate | diff | comparison | revisions
publications.html file | annotate | diff | comparison | revisions 
Binary file Publications/tm.pdf has changed
--- a/publications.html	Sat Dec 22 17:15:30 2012 +0000
+++ b/publications.html	Wed Feb 13 00:10:37 2013 +0000
@@ -92,6 +92,10 @@
       (with Zhang and Wu) Journal version. Submitted.
       [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/pip.pdf">pdf</A>]
 
+<p><B>Mechanising Turing Machines and Computability Theory in Isabelle/HOL.</B> 
+      (with Xu and Zhang) Submitted.
+      [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/tm.pdf">pdf</A>]
+
 
 <p><B>How to Prove False using the Variable Convention.</B> 
      Appears as a poster at TTVSI, 1 page.
public_html