Login / Signup
An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential Algebra.
Loredana Tec
Georg Regensburger
Markus Rosenkranz
Bruno Buchberger
Published in:
ICMS (2010)
Keyphrases
</>
real numbers
semi automated
automated theorem provers
data model
query language
computer aided
relation algebra
automated analysis
computer assisted
databases
fully automatic
database
data driven
context sensitive
fully automated
theorem prover
theorem proving
decision trees
website
data sets
real time