Keyphrases
- term rewriting
- object oriented
- theorem proving
- theorem prover
- operational semantics
- rewrite systems
- object oriented databases
- knuth bendix
- software engineering
- programming language
- relational databases
- object oriented database systems
- parallel implementation
- data model
- programming interface
- database schema
- database technology
- database design
- database applications
- inference rules
- parallel computing
- parallel processing
- artificial intelligence