Equational Abstractions in Rewriting Logic and Maude.
Narciso Martí-OlietFrancisco DuránAlberto VerdejoPublished in: SBMF (2014)
Keyphrases
- equational theories
- theorem proving
- modal logic
- automated reasoning
- horn clauses
- lattice theory
- rewriting rules
- multi valued
- classical logic
- queries using views
- operational semantics
- high level
- theorem prover
- defeasible logic
- digital circuits
- rewrite rules
- deontic logic
- formal specification
- conjunctive queries
- programming language