Logic and rational languages of scattered and countable series-parallel posets.

Amazigh Amrane Nicolas Bedon

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

Keyphrases

series parallel
binary trees
temporal reasoning
precedence constraints
partially ordered sets
logic programming
tree decomposition
redundancy allocation
decision making
constraint satisfaction
graph theory