equal
deleted
inserted
replaced
244 (with Berghofer and Norrish) In Proceedings of the 21th |
244 (with Berghofer and Norrish) In Proceedings of the 21th |
245 Conference on Automated Deduction (CADE 2007). In volume 4603 |
245 Conference on Automated Deduction (CADE 2007). In volume 4603 |
246 of Lecture Notes in Artificial Intelligence. Bremen, Germany. |
246 of Lecture Notes in Artificial Intelligence. Bremen, Germany. |
247 July 2007. Pages 35-50. |
247 July 2007. Pages 35-50. |
248 © <A HREF="http://link.springer.de/link/service/series/0558/tocs/t4603.htm">Springer Verlag</A> |
248 © <A HREF="http://link.springer.de/link/service/series/0558/tocs/t4603.htm">Springer Verlag</A> |
|
249 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/cade07.pdf">pdf</A>] |
249 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/cade07.ps">ps</A>] |
250 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/cade07.ps">ps</A>] |
250 |
|
251 <BR><BR>This paper supersedes the MERLIN-paper from 2005. |
251 <BR><BR>This paper supersedes the MERLIN-paper from 2005. |
252 |
252 |
253 <p><B>Nominal Techniques in Isabelle/HOL.</B> In |
253 <p><B>Nominal Techniques in Isabelle/HOL.</B> In |
254 Journal of Automatic Reasoning, 2008, Vol. 40(4), 327-356. |
254 Journal of Automatic Reasoning, 2008, Vol. 40(4), 327-356. |
255 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/nom-tech.ps">ps</A>] |
255 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/nom-tech.ps">ps</A>] |