A New, Simpler Proof of the Modularisation Theorem for Logical Specifications.

Paulo A. S. Veloso

Published in: Log. J. IGPL (1993)

Keyphrases

interactive theorem proving
logical rules
formal specification
delay insensitive
von neumann
logical reasoning
high level
control flow
data sets
logical representation
case study
database systems
theorem proving
digital topology
logical operations
artificial intelligence
written in natural language
databases