equal
deleted
inserted
replaced
103 <TR> |
103 <TR> |
104 <TD BGCOLOR="FFFFFF" WIDTH="75%"> |
104 <TD BGCOLOR="FFFFFF" WIDTH="75%"> |
105 <H3>2012</H3> |
105 <H3>2012</H3> |
106 <p><B>General Bindings and Alpha-Equivalence in Nominal Isabelle.</B> |
106 <p><B>General Bindings and Alpha-Equivalence in Nominal Isabelle.</B> |
107 (with Kaliszyk) Journal of Logical |
107 (with Kaliszyk) Journal of Logical |
108 Methods in Computer Science, Volume 8 (2:14), 2012. |
108 Methods in Computer Science, Volume 8 (2:14), 2012. 35 pages. |
109 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/lmcs.pdf">pdf</A>] |
109 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/lmcs.pdf">pdf</A>] |
110 |
110 |
111 <p><b>Priority Inheritance Protocol Proved Correct.</B> |
111 <p><b>Priority Inheritance Protocol Proved Correct.</B> |
112 (with Zhang and Wu) In Proceedings of the 3rd Conference on Interactive |
112 (with Zhang and Wu) In Proceedings of the 3rd Conference on Interactive |
113 Theorem Proving (ITP 2012). In Volume 7406 of Lecture Notes in |
113 Theorem Proving (ITP 2012). In Volume 7406 of Lecture Notes in |