Monads and Modular Term Rewriting.

Christoph Lüth Neil Ghani

Published in: Category Theory and Computer Science (1997)

Keyphrases

term rewriting
theorem proving
theorem prover
operational semantics
rewrite systems
knuth bendix
modular neural networks
artificial intelligence
cooperative
first order logic
bayesian networks
graphical models
intelligent agents
modular architecture