A New Proof Rule for Almost-Sure Termination.

Annabelle McIver Carroll Morgan Benjamin Lucien Kaminski Joost-Pieter Katoen

Published in: CoRR (2017)

Keyphrases

active rules
termination analysis
active databases
rule sets
rewrite systems
term rewriting
logical rules
theorem proving
association rules
decision trees
classification rules
databases
rule induction
bayesian networks
rule learning
website
knowledge base
artificial intelligence
neural network