Ordinals and Cardinals.

Published in: Arch. Formal Proofs (2009)

Keyphrases

knuth bendix
probability distribution
database
artificial intelligence
logic programming
database applications