Proof System for Weakest Prespecification.

Published in: Inf. Process. Lett. (1988)

Keyphrases

modal logic
intuitionistic logic
databases
machine learning
search algorithm
clause learning
search engine
decision trees
case study
data structure
expert systems
special case
software engineering
temporal logic