Automating Recursive Type Definitions in Higher Order Logic

Detalles Bibliográficos
Autor Principal:	Melham, T
Formato:	Report
Publicado:	Computer Laboratory‚ University of Cambridge 1988

Automating Recursive Type Definitions in Higher Order Logic por Melham, T

Publicado 1989

Libro