Login / Signup
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