Term Rewriting in Logics of Partial Functions.

Matthias Schmalz

Published in: ICFEM (2011)

Keyphrases

term rewriting
theorem proving
theorem prover
inference rules
knuth bendix
operational semantics
databases
expressive power
database systems
probabilistic model
modal logic
nonmonotonic logics
rewrite systems