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.
updated
authorChristian Urban <christian dot urban at kcl dot ac dot uk>
Tue, 02 Sep 2014 16:39:03 +0100
changeset 308 cdacc1d732a0
parent 307 969c1a87d9fa
child 309 9c1ee836154b
updated
publications.html file | annotate | diff | comparison | revisions 
--- a/publications.html	Tue Sep 02 16:38:02 2014 +0100
+++ b/publications.html	Tue Sep 02 16:39:03 2014 +0100
@@ -109,7 +109,7 @@
       [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/rexp.pdf">pdf</A>]
 <p><B>Revisiting Zucker's Work on the Correspondence Between Cut-Elimination and 
       Normalisation.</B> In Advances in Natural Deduction: A Celebration of Dag Prawitz's Work,
-      Trends in Logic Volume 39, 2014, Pages 31-50.
+      Trends in Logic Series, Volume 39, 2014, Pages 31-50.
       <A HREF="http://link.springer.com/book/10.1007/978-94-007-7548-0">Springer Verlag</A>
 </TD>
 </TR>
@@ -503,7 +503,7 @@
 
 </TABLE>
 <P>
-<!-- hhmts start --> Last modified: Tue Sep  2 16:37:58 BST 2014 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Tue Sep  2 16:38:54 BST 2014 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
  
 </BODY>
public_html