Hierachical Termination.

Nachum Dershowitz

Published in: CTRS (1994)

Keyphrases

active rules
rewrite systems
term rewriting
artificial intelligence
neural network
real world
feature extraction
natural language
data streams
data analysis
viewpoint
probabilistic model
management system
information extraction