equal
deleted
inserted
replaced
185 <TABLE> |
185 <TABLE> |
186 <TR><TD WIDTH="7%" VALIGN=Top>[1]</TD> |
186 <TR><TD WIDTH="7%" VALIGN=Top>[1]</TD> |
187 <TD ALIGN=Left> |
187 <TD ALIGN=Left> |
188 <B>Nominal Reasoning Techniques in Isabelle/HOL.</B> In |
188 <B>Nominal Reasoning Techniques in Isabelle/HOL.</B> In |
189 Journal of Automatic Reasoning, Vol. 40(4), 327-356, 2008. |
189 Journal of Automatic Reasoning, Vol. 40(4), 327-356, 2008. |
190 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/nom-tech.ps" target="_top">ps</A>]. |
190 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/nom-tech.pdf" target="_top">pdf</A>]. |
191 The predecessor paper, which appeaerd at CADE in 2005, received the |
191 The predecessor paper, which appeaerd at CADE in 2005, received the |
192 <A HREF="http://www.cadeinc.org/SkolemAward.html">Thoralf Skolem Award</A>. |
192 <A HREF="http://www.cadeinc.org/SkolemAward.html">Thoralf Skolem Award</A>. |
193 </TD> |
193 </TD> |
194 </TR> |
194 </TR> |
195 <TR><TD VALIGN=Top>[2]</TD> |
195 <TR><TD VALIGN=Top>[2]</TD> |