Nondeterministic Algebraic Specifications and Nonconfluent Term Rewriting.

Heinrich Hußmann

Published in: ALP (1988)

Keyphrases

term rewriting
operational semantics
theorem prover
theorem proving
rewrite systems
knuth bendix
formal semantics
finite state
delay insensitive
databases
finite automata
software engineering
machine learning
data model
computational intelligence