UNIVERSITY of GLASGOW

Computing at Glasgow University
 
Paper ID: 6108
DCS Tech Report Number: 265

Reasoning with Inductively Defined Relations in the {HOL} Theorem Prover}
Camilleri,J. Melham,T.F.

Publication Type: Tech Report (internal)
Appeared in: DCS Tech Report
Page Numbers :
Publisher: University of Cambridge
Year: 1992
Abstract:

No abstract available.


Bibtex entry Endnote XML