Nondeterministic Algebraic Specifications and Nonconfluent Term Rewriting.

Heinrich Hußmann

Published in: J. Log. Program. (1992)

Keyphrases

term rewriting
operational semantics
theorem prover
theorem proving
rewrite systems
knuth bendix
formal semantics
finite state
data model
high level
finite automata
delay insensitive
database
first order logic
formal specification
specification language