Higher Order Logic Theorem Proving and its Applications: 8th International Workshop : Papers: 8th: International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 - Proceedings by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 1995)

Brand new: lowest price

AU $155.72

Free postage
  • Get it by Thu, 24 May - Fri, 8 Jun from Sydney, Australia
  • Brand new condition
  • • Returns accepted - 30 days money back
Calculus equivalence in HOL. - Non-primitive recursive function definitions. - Combining decision procedures in the HOL system. - Deciding cryptographic protocol adequacy with HOL. - Virtual theories.