A Reflective Language Based on Conditional Term Rewriting.

Masanobu Numazawa Masahito Kurihara Azuma Ohuchi

Published in: DISCO (1996)

Keyphrases

term rewriting
operational semantics
theorem proving
theorem prover
natural language
language learning
programming language
rewrite systems
formal semantics
conditional logic
databases
knuth bendix
cooperative
object oriented
mental states