Completeness of Proof Systems for Equational Specifications.

David B. MacQueen Donald Sannella

Published in: IEEE Trans. Software Eng. (1985)

Keyphrases

management system
theorem proving
distributed systems
complex systems
theorem prover
real world
high level
horn clauses
data mining
information retrieval
search engine
multimedia
data structure
logic programs
formal specification
asynchronous circuits