Login / Signup
TRSPEC: A Term Rewriting Based System for Algebraic Specifications.
Jürgen Avenhaus
Richard Göbel
Bernhard Gramlich
Klaus Madlener
Joachim Steinbach
Published in:
CTRS (1987)
Keyphrases
</>
term rewriting
operational semantics
theorem proving
theorem prover
knuth bendix
rewrite systems
formal semantics
high level
mental states
databases
delay insensitive
data model
software engineering
first order logic
relational databases
expert systems
formal specification
control flow
artificial intelligence