on computable partially ordered sets.

Marie Ferbus-Zanda Serge Grigorieff

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

Keyphrases

partially ordered sets
algebraic structures
metric space
precedence constraints
turing machine
search algorithm
scheduling problem
inductive inference