Ground Term Rewriting Rules for the Word Problem of Ground Term Equations.

Zoltán Fülöp Sándor Vágvölgyi

Published in: Bull. EATCS (1991)

Keyphrases

term rewriting
word problems
theorem proving
operational semantics
online learning
computer aided
theorem prover