Loop checking in SLD-derivations by well-quasi-ordering of goals.

Giuliano Pacini Maria I. Sessa

Published in: Theor. Comput. Sci. (2000)

Keyphrases

artificial neural networks
partial order
inference rules
real time
machine learning
information technology
special case
total ordering