SPECI90: A Term Rewriting and Narrowing System.

Peter Bachmann Thomas Drescher Sabine Nieke

Published in: STACS (1992)

Keyphrases

term rewriting
theorem proving
theorem prover
operational semantics
knuth bendix
rewrite systems
digital divide
mobile robot
bayesian networks