dblp.uni-trier.de www.uni-trier.de

5. TPHOLs 1992: Leuven, Belgium

Luc J. M. Claesen, Michael J. C. Gordon (Eds.): Higher Order Logic Theorem Proving and its Applications, Proceedings of the IFIP TC10/WG10.2 Workshop HOL'92, Leuven, Belgium, 21-24 September 1992. IFIP Transactions A-20 North-Holland/Elsevier 1993, ISBN 0-444-89880-8 BibTeX
@proceedings{DBLP:conf/tphol/1992,
  editor    = {Luc J. M. Claesen and
               Michael J. C. Gordon},
  title     = {Higher Order Logic Theorem Proving and its Applications, Proceedings
               of the IFIP TC10/WG10.2 Workshop HOL'92, Leuven, Belgium, 21-24
               September 1992},
  booktitle = {TPHOLs},
  publisher = {North-Holland/Elsevier},
  series    = {IFIP Transactions},
  volume    = {A-20},
  year      = {1993},
  isbn      = {0-444-89880-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Mathematical Logic Issues

Induction

General Modelling and Proofs

Formalizing and Modelling of Automata

Program Verification

Hardware Description Language Semantics

Hardware Verification Methodologies

Simulation in Higher Order Logic

Extended Uses of Higher Oredr Logic

Copyright © Sat May 16 23:43:56 2009 by Michael Ley (ley@uni-trier.de)