Maximal Termination.

Carsten Fuhs Jürgen Giesl Aart Middeldorp Peter Schneider-Kamp René Thiemann Harald Zankl

Published in: RTA (2008)

Keyphrases

information systems
rewrite systems
mining maximal
neural network
machine learning
information retrieval
image processing
data streams
computational complexity
lower bound
user interface
independent set