Equivalence of the Gries and Martin Proof Rules for Procedure Calls.

A. Bijlsma J. G. Wiltink P. A. Matthews

Published in: Acta Informatica (1986)

Keyphrases

logical rules
neural network
association rules
rule sets
proof procedure
machine learning
case study
classification rules
rule extraction
database
decision trees
expert systems
domain knowledge
theorem proving
strong equivalence
proof theoretic