Proving Ground Confluence of Equational Specifications Modulo Axioms.
Francisco DuránJosé MeseguerCamilo RochaPublished in: WRLA@ETAPS (2018)
Keyphrases
- theorem proving
- horn clauses
- first order logic
- theorem prover
- knowledge base
- equational theories
- delay insensitive
- specification language
- functional requirements
- formal specification
- high level
- logic programs
- data model
- control flow
- rewrite systems
- axiomatic characterization
- multi agent systems
- information systems
- data mining
- definite clause
- data sets
- database