A lexicographic path order with slow growing derivation bounds.

Published in: Math. Log. Q. (2009)

Keyphrases

worst case
artificial intelligence
mobile robot
website
three dimensional
similarity measure
artificial neural networks
hidden markov models
np hard
state space