Deciding Global Partial-Order Properties.

Rajeev Alur Kenneth L. McMillan Doron A. Peled

Published in: ICALP (1998)

Keyphrases

partial order
partially ordered
total order
partial ordering
lattice structure
stable marriage
causal links
maximum weight
vertex cover
special case
sequential patterns
conceptual graphs
totally ordered
multi agent
set theory
conditional independencies