Architecture for Conditional Term Rewriting.

Tony Rush Derek Coleman

Published in: CTRS (1987)

Keyphrases

term rewriting
theorem proving
theorem prover
operational semantics
knuth bendix
real time
management system
software development
rewrite systems
multi agent
relational databases
software architecture
life cycle
language learning
network architecture
random field model