Automating Recursive Type Definitions in Higher Order LogicReport as inadecuate




Automating Recursive Type Definitions in Higher Order Logic - Download this document for free, or read online. Document in PDF available to download.

Reference: Thomas F. Melham, G. Birtwistle ed., P.A. Subrahmanyam ed., (1989). Automating Recursive Type Definitions in Higher Order Logic.Citable link to this page:

 

Automating Recursive Type Definitions in Higher Order Logic

Contributors

G. BirtwistleMore by this contributor

Roleeditor

 

P.A. SubrahmanyamMore by this contributor

Roleeditor

 Bibliographic Details

Host: Current Trends in Hardware Verification and Automated Theorem Provingsee more from them

Issue Date: 1989

pages:341-386Identifiers

Urn: uuid:1b73b4b4-b45f-4190-8df5-7e58a36351da

Isbn: 3-540-96988-8 Item Description

Type: Book; Tiny URL: cs:4717

Relationships





Author: Thomas F. Melham - - - - Contributors G. Birtwistle More by this contributor - Roleeditor - - - P.A. Subrahmanyam More by this co

Source: https://ora.ox.ac.uk/objects/uuid:1b73b4b4-b45f-4190-8df5-7e58a36351da



DOWNLOAD PDF




Related documents