The Reachability Problem for Ground TRS and Some Extensions.

Aline Deruyver Rémi Gilleron

Published in: TAPSOFT, Vol.1 (1989)

Keyphrases

website
state space
information retrieval
efficient implementation
definite clause
neural network
data mining
social networks
image processing
high level
multiscale
lower bound
default logic
digital surface