Completeness Theorems for Bi-Kleene Algebras and Series-Parallel Rational Pomset Languages.

Michael R. Laurence Georg Struth

Published in: RAMiCS (2014)

Keyphrases

series parallel
temporal reasoning
business intelligence
binary trees
propositional logic
temporal constraints
tree decomposition
decision making
network design
regular expressions
qualitative and quantitative
precedence constraints
constraint satisfaction problems
redundancy allocation