An algorithmic metatheorem for directed treewidth
From MaRDI portal
Publication:266806
DOI10.1016/j.dam.2015.10.020zbMath1333.05139arXiv1410.0589MaRDI QIDQ266806
Publication date: 7 April 2016
Published in: Discrete Applied Mathematics (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1410.0589
algorithmic metatheorems; combinatorial slice theory; directed treewidth; monadic second order logic of graphs; tree-zig-zag number