equal
deleted
inserted
replaced
55 <BR><BR> |
55 <BR><BR> |
56 |
56 |
57 <table border="0"> |
57 <table border="0"> |
58 <tr> |
58 <tr> |
59 <td> |
59 <td> |
60 <A HREF="http://http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/"> |
60 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/"> |
61 <IMG SRC="nominal-logo.gif" ALT="" style="border-width: 0px;" align="left"></A> |
61 <IMG SRC="nominal-logo.gif" ALT="" style="border-width: 0px;" align="left"></A> |
62 </td> |
62 </td> |
63 </tr> |
63 </tr> |
64 <tr> |
64 <tr> |
65 <td> |
65 <td> |
217 <H3>2009</H3> |
217 <H3>2009</H3> |
218 <p><B>Nominal Formalisations of Typical SOS Proofs.</B> |
218 <p><B>Nominal Formalisations of Typical SOS Proofs.</B> |
219 (with Narboux) In Proceedings of the 3rd Workshop on Logical and Semantic |
219 (with Narboux) In Proceedings of the 3rd Workshop on Logical and Semantic |
220 Frameworks with Applications (LFSA'08). Electronic |
220 Frameworks with Applications (LFSA'08). Electronic |
221 Notes in Theoretical Computer Science, 247, Pages 139-155, 2009. |
221 Notes in Theoretical Computer Science, 247, Pages 139-155, 2009. |
222 [<A HREF="http://http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/manual/SOS.pdf">pdf</A>]. |
222 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/manual/SOS.pdf">pdf</A>]. |
223 |
223 |
224 <p><B>Proceedings of Theorem Proving in Higher Order Logics (TPHOLs'09).</B> |
224 <p><B>Proceedings of Theorem Proving in Higher Order Logics (TPHOLs'09).</B> |
225 (with Berghofer, Nipkow and Wenzel) Volume 5674 of Lecture Notes in |
225 (with Berghofer, Nipkow and Wenzel) Volume 5674 of Lecture Notes in |
226 Computer Science, 2009. |
226 Computer Science, 2009. |
227 © <A HREF="http://link.springer.com/book/10.1007/978-3-642-03359-9/page/1">Springer Verlag</A> |
227 © <A HREF="http://link.springer.com/book/10.1007/978-3-642-03359-9/page/1">Springer Verlag</A> |
239 <H3>2008</H3> |
239 <H3>2008</H3> |
240 <p><B>Mechanizing the Metatheory of LF.</B> (with Cheney and Berghofer) In Proceedings of the |
240 <p><B>Mechanizing the Metatheory of LF.</B> (with Cheney and Berghofer) In Proceedings of the |
241 23rd IEEE Symposium on Logic in Computer Science (LICS 2008), IEEE Computer Society, |
241 23rd IEEE Symposium on Logic in Computer Science (LICS 2008), IEEE Computer Society, |
242 June 2008. Pages 45-56. |
242 June 2008. Pages 45-56. |
243 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/lics-08.pdf">pdf</A>] More |
243 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/lics-08.pdf">pdf</A>] More |
244 information is <A HREF="http://http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/LF/index.html">elsewhere</A>. |
244 information is <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/LF/index.html">elsewhere</A>. |
245 |
245 |
246 <p><B>Nominal Inversion Principles.</B> (with Berghofer) |
246 <p><B>Nominal Inversion Principles.</B> (with Berghofer) |
247 In Proceedings of 21st International Conference on Theorem Proving in |
247 In Proceedings of 21st International Conference on Theorem Proving in |
248 Higher Order Logics (TPHOLs'08). In Volume 5170 of Lecture Notes in |
248 Higher Order Logics (TPHOLs'08). In Volume 5170 of Lecture Notes in |
249 Computer Science. Pages 71-85. |
249 Computer Science. Pages 71-85. |
507 </TR> |
507 </TR> |
508 |
508 |
509 |
509 |
510 </TABLE> |
510 </TABLE> |
511 <P> |
511 <P> |
512 <!-- hhmts start --> Last modified: Sun Apr 10 20:45:14 BST 2016 <!-- hhmts end --> |
512 <!-- hhmts start --> Last modified: Sun Apr 10 20:49:18 BST 2016 <!-- hhmts end --> |
513 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
513 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
514 |
514 |
515 </BODY> |
515 </BODY> |
516 </HTML> |
516 </HTML> |