Complete assertional proof rules for progress under weak and strong fairness.

Wim H. Hesselink

Published in: Sci. Comput. Program. (2013)

Keyphrases

logical rules
association rules
theorem proving
production rules
high level
domain experts
classification rules
rule sets
real time
neural network
evolutionary algorithm
game theory
human experts
business rules
cut elimination
proof theoretic