Term Rewriting Properties of SOS Axiomatisations.

D. J. B. Bosscher

Published in: TACS (1994)

Keyphrases

term rewriting
theorem proving
desirable properties
theorem prover
database
data sets
databases
probabilistic model
operational semantics