Every Countable Poset is Embeddable in the Poset of Unsolvable Terms.

Richard Statman

Published in: Theor. Comput. Sci. (1986)

Keyphrases

partial order
partially ordered
partially ordered sets
stable marriage
neural network
computer vision
co occurrence
databases
data mining
clustering algorithm
dynamic programming
totally ordered