diff -r 41d293f7ff05 -r 2a65056de0cb publications.html --- a/publications.html Thu May 30 23:18:35 2013 +0100 +++ b/publications.html Tue Jun 04 10:56:32 2013 +0100 @@ -37,7 +37,7 @@ + ROWSPAN="19"> Links
Home
@@ -93,11 +93,6 @@ (with Zhang and Wu) Journal version. Submitted. [pdf] -

Mechanising Turing Machines and Computability Theory in Isabelle/HOL. - (with Xu and Zhang) Accepted at ITP 2013. - [pdf] - -

How to Prove False using the Variable Convention. Appears as a poster at TTVSI, 1 page. [pdf] @@ -112,6 +107,18 @@ +

2013

+

Mechanising Turing Machines and Computability Theory in Isabelle/HOL. + (with Xu and Zhang) In Proceedings of the 4th Conference on Interactive + Theorem Proving (ITP 2013). In Volume 7998 of Lecture Notes in + Computer Science. Pages 147-162. + [pdf] + + + + + +

2012

General Bindings and Alpha-Equivalence in Nominal Isabelle. (with Kaliszyk) Journal of Logical