Linear extensions of partial orders and reverse mathematics.

Emanuele Frittaion Alberto Marcone

Published in: Math. Log. Q. (2012)

Keyphrases

partial order
partially ordered
total order
partial ordering
totally ordered
stable marriage
dominance relation
computer science
lattice structure
vertex cover
computational complexity
knowledge representation
constraint satisfaction
sequential patterns
preference relations