Mercurial Mercurial > hg > public_html / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
publications.html
changeset 367 27e64f2a5369
parent 366 e8fb82036747
child 401 3f6d96fa5901
equal deleted inserted replaced
366:e8fb82036747 367:27e64f2a5369 
   367 <p><B>Nominal Techniques in Isabelle/HOL.</B> (with Tasson) In Proceedings of the 20th 
   367 <p><B>Nominal Techniques in Isabelle/HOL.</B> (with Tasson) In Proceedings of the 20th 
   368       Conference on Automated Deduction (CADE 2005). In volume 3632 of Lecture Notes in Artificial
 
   368       Conference on Automated Deduction (CADE 2005). In volume 3632 of Lecture Notes in Artificial
 
   369       Intelligence. Tallinn, Estonia. July 2005. Pages 38-53.
 
   369       Intelligence. Tallinn, Estonia. July 2005. Pages 38-53.
 
   370     &copy <A HREF="http://link.springer.com/chapter/10.1007%2F11532231_4">Springer Verlag</A>
 
   370     &copy <A HREF="http://link.springer.com/chapter/10.1007%2F11532231_4">Springer Verlag</A>
 
   371     [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/nom-cade-05.ps">ps</A>]
 
   371     [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/nom-cade-05.ps">ps</A>]
 
   372 
   372     <p>
 
       
   373     (This paper is superseded by the journal version in 2007.)
 
       
   374   
   373 <p><B>Avoiding Equivariance in Alpha-Prolog.</B> (with Cheney) In Proceedings of the 7th
 
   375 <p><B>Avoiding Equivariance in Alpha-Prolog.</B> (with Cheney) In Proceedings of the 7th
 
   374       International Conference on Typed Lambda Calculi and Applications (TLCA 2005). 
   376       International Conference on Typed Lambda Calculi and Applications (TLCA 2005). 
   375       In Volume 3461 of Lecture Notes in Computer Science. Nara, Japan. April 2005. Pages 401-416.
 
   377       In Volume 3461 of Lecture Notes in Computer Science. Nara, Japan. April 2005. Pages 401-416.
 
   376     &copy <A HREF="http://link.springer.com/chapter/10.1007%2F11417170_29">Springer Verlag</A>
 
   378     &copy <A HREF="http://link.springer.com/chapter/10.1007%2F11417170_29">Springer Verlag</A>
 
   377     [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/alpha-tlca.ps">ps</A>]
 
   379     [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/alpha-tlca.ps">ps</A>]
 
   378     <p>
 
   380     
   379     (This paper is superseded by the journal version in 2007.)
 
       
   380 </TD>
 
   381 </TD>
 
   381 </TR>
 
   382 </TR>
 
   382 
   383 
   383 
   384 
   384 <TR>
 
   385 <TR>
 
   503 </TR>
 
   504 </TR>
 
   504 
   505 
   505 
   506 
   506 </TABLE>
 
   507 </TABLE>
 
   507 <P>
 
   508 <P>
 
   508 <!-- hhmts start --> Last modified: Fri Jun 12 21:55:58 BST 2015 <!-- hhmts end -->
 
   509 <!-- hhmts start --> Last modified: Fri Jun 12 21:56:33 BST 2015 <!-- hhmts end -->
 
   509 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 
   510 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 
   510  
   511  
   511 </BODY>
 
   512 </BODY>
 
   512 </HTML>
 
   513 </HTML>
public_html