A Compete Proof Rule for Strong Equifair Termination.
Orna GrumbergNissim FrancezShmuel KatzPublished in: Logic of Programs (1983)
Keyphrases
- active rules
- term rewriting
- theorem prover
- association rules
- termination analysis
- classification rules
- rewrite systems
- theorem proving
- logical rules
- integrity constraints
- rule sets
- natural deduction
- rule learning
- active databases
- database
- special case
- decision making
- genetic algorithm
- information retrieval
- databases
- data sets