A Complete Axiomatisation for the Inclusion of Series-Parallel Partial Orders.

Denis Béchet Philippe de Groote Christian Retoré

Published in: RTA (1997)

Keyphrases

partial order
series parallel
precedence constraints
partially ordered
total order
temporal reasoning
tree decomposition
stable marriage
sequential patterns
preference relations
objective function
computational complexity
functional dependencies