Modular Termination of Basic Narrowing.

María Alpuente Santiago Escobar José Iborra

Published in: RTA (2008)

Keyphrases

term rewriting
rewrite systems
modular architecture
modular structure
real time
artificial intelligence
data structure
expert systems
active rules
modular neural network
termination analysis