The order types of termination orderings on monadic terms, strings and multisets

Ursula Martin Elizabeth Scott

Published in: LICS (1993)

Keyphrases

data sets
real world
real time
bayesian networks
expert systems
query processing
special case
logic programs
query expansion