A Prototype Interface Between CLAM and HOL

R. Boulton; K. Slind; Alan Bundy; M. Gordon

A Prototype Interface Between CLAM and HOL

R. Boulton, K. Slind, Alan Bundy, M. Gordon

School of Informatics

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Theorem Proving in Higher Order Logics
Subtitle of host publication	10th International Conference, TPHOLs ' 97 Murray Hill, NJ, USA, August 19-22, 1997 Proceedings
Publisher	Springer-Verlag GmbH
Volume	1275
Publication status	Published - 1997

Publication series

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

Access to Document

A Prototype Interface Between CLAM and HOLAccepted author manuscript, 9.59 MB

Cite this

@inproceedings{ddfc7304b274444087089324bfb3bcb3,

title = "A Prototype Interface Between CLAM and HOL",

author = "R. Boulton and K. Slind and Alan Bundy and M. Gordon",

year = "1997",

language = "English",

volume = "1275",

series = " Lecture Notes in Computer Science ",

publisher = "Springer-Verlag GmbH",

booktitle = "Theorem Proving in Higher Order Logics",

}

A Prototype Interface Between CLAM and HOL. / Boulton, R.; Slind, K.; Bundy, Alan; Gordon, M.

Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs ' 97 Murray Hill, NJ, USA, August 19-22, 1997 Proceedings. Vol. 1275 Springer-Verlag GmbH, 1997. ( Lecture Notes in Computer Science ).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution