Solving recursive domain equations by term rewriting.

Published in: Functional Programming (1993)

Keyphrases

term rewriting
theorem proving
nonlinear equations
polynomial equations
theorem prover
algebraic equations
domain independent
operational semantics
domain specific
rewrite systems
mathematical model
knuth bendix
set of linear equations
mobile robot
computational intelligence
domain experts