Register computations on ordinals.

Peter Koepke Ryan Siders

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

Keyphrases

data sets
knuth bendix
databases
knowledge base
computational complexity
special case