Automating Recursive Type Definitions in Higher Order Logic

Automating Recursive Type Definitions in Higher Order Logic

Show other versions (1)
Detalles Bibliográficos
Autor Principal: Melham, T
Formato: Report
Publicado: Computer Laboratory‚ University of Cambridge 1988
Descripción
Summary:

Títulos similares