A Proof Rule for Euclid Procedures.

John V. Guttag James J. Horning Ralph L. London

Published in: Formal Description of Programming Concepts (1977)

Keyphrases

association rules
classification rules
real world
special case
theorem prover
mathematical proofs
database
logical rules
linear logic
active databases
theorem proving
rule base
rule sets
knowledge acquisition
medical images
web services
data sets