search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

Automating Termination Proofs for CHR.

Paolo Pilozzi Danny De Schreye

Published in: ICLP (2009)

Keyphrases

constraint handling rules
theorem proving
term rewriting
theorem prover
formal proofs
rewrite systems
database
website
active rules
equational theories
data sets
artificial intelligence
social networks
three dimensional
optimal solution
evolutionary algorithm
neural network
databases
formal proof
mathematical proofs