Collapsing functions based on recursively large ordinals: A well-ordering proof for KPM.

Michael Rathjen

Published in: Arch. Math. Log. (1994)

Keyphrases

knuth bendix
information retrieval
data sets
search engine
search algorithm
dynamic programming
partial order
coarse to fine
multi valued
linear logic
term rewriting