Edinburgh Research Explorer

A Prototype Interface Between CLAM and HOL

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Related Edinburgh Organisations

Open Access permissions

Open

Documents

Original languageEnglish
Title of host publicationTheorem Proving in Higher Order Logics
Subtitle of host publication10th International Conference, TPHOLs ' 97 Murray Hill, NJ, USA, August 19-22, 1997 Proceedings
PublisherSpringer-Verlag GmbH
Volume1275
StatePublished - 1997

Publication series

Name Lecture Notes in Computer Science
PublisherSpringer Verlag
ISSN (Print)0302-9743

Download statistics

No data available

ID: 6319048