equal
deleted
inserted
replaced
107 (with Wu and Zhang) In |
107 (with Wu and Zhang) In |
108 Journal of Automatic Reasoning, 2014, Vol. 52(4), 451-480. |
108 Journal of Automatic Reasoning, 2014, Vol. 52(4), 451-480. |
109 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/rexp.pdf">pdf</A>] |
109 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/rexp.pdf">pdf</A>] |
110 <p><B>Revisiting Zucker's Work on the Correspondence Between Cut-Elimination and |
110 <p><B>Revisiting Zucker's Work on the Correspondence Between Cut-Elimination and |
111 Normalisation.</B> In Advances in Natural Deduction: A Celebration of Dag Prawitz's Work, |
111 Normalisation.</B> In Advances in Natural Deduction: A Celebration of Dag Prawitz's Work, |
112 Trends in Logic Volume 39, 2014, Pages 31-50. |
112 Trends in Logic Series, Volume 39, 2014, Pages 31-50. |
113 <A HREF="http://link.springer.com/book/10.1007/978-94-007-7548-0">Springer Verlag</A> |
113 <A HREF="http://link.springer.com/book/10.1007/978-94-007-7548-0">Springer Verlag</A> |
114 </TD> |
114 </TD> |
115 </TR> |
115 </TR> |
116 |
116 |
117 <TR> |
117 <TR> |
501 </TR> |
501 </TR> |
502 |
502 |
503 |
503 |
504 </TABLE> |
504 </TABLE> |
505 <P> |
505 <P> |
506 <!-- hhmts start --> Last modified: Tue Sep 2 16:37:58 BST 2014 <!-- hhmts end --> |
506 <!-- hhmts start --> Last modified: Tue Sep 2 16:38:54 BST 2014 <!-- hhmts end --> |
507 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
507 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
508 |
508 |
509 </BODY> |
509 </BODY> |
510 </HTML> |
510 </HTML> |