Equational Theories of Scattered and Countable Series-Parallel Posets.

Amazigh Amrane Nicolas Bedon

Published in: DLT (2020)

Keyphrases

series parallel
equational theories
temporal reasoning
theorem proving
tree decomposition
network design
supply chain
precedence constraints
function symbols
machine learning
optimal solution
natural language
lower bound
expert systems
relational databases
np complete