Computer Laboratory

Technical reports

Reasoning with inductively defined relations in the HOL theorem prover

Juanito Camilleri, Tom Melham

August 1992, 49 pages

Full text

Only available on paper (could be scanned on request).

BibTeX record

@TechReport{UCAM-CL-TR-265,
  author =	 {Camilleri, Juanito and Melham, Tom},
  title = 	 {{Reasoning with inductively defined relations in the HOL
         	   theorem prover}},
  year = 	 1992,
  month = 	 aug,
  institution =  {University of Cambridge, Computer Laboratory},
  address =	 {15 JJ Thomson Avenue, Cambridge CB3 0FD, United Kingdom,
          	  phone +44 1223 763500},
  number = 	 {UCAM-CL-TR-265}
}