Login / Signup
On series-parallel pomset languages: Rationality, context-freeness and automata.
Tobias Kappé
Paul Brunet
Bas Luttik
Alexandra Silva
Fabio Zanasi
Published in:
J. Log. Algebraic Methods Program. (2019)
Keyphrases
</>
series parallel
context aware
tree decomposition
binary trees
temporal reasoning