Positive Almost-Sure Termination - Complexity and Proof Rules.

Rupak Majumdar V. R. Sathiyanarayana

Published in: CoRR (2023)

Keyphrases

association rules
positive and negative
logical rules
termination analysis
production rules
decision rules
computational cost
rule induction
rewrite systems
computational complexity
association rule mining
rule sets
theorem proving