On the Monadic Second-Order Transduction Hierarchy
From MaRDI portal
Publication:3575301
DOI10.2168/LMCS-6(2:2)2010zbMath1198.03020arXiv1004.4777MaRDI QIDQ3575301
Achim Blumensath, Bruno Courcelle
Publication date: 27 July 2010
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1004.4777
monadic second-order logichypergraphstreesincidence structurestransductionsfinite relational structuresguarded second-order logic
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (4)
Twin-width II: small classes ⋮ Decision problems of tree transducers with origin ⋮ Linear rank-width of distance-hereditary graphs II. vertex-minor obstructions ⋮ Unnamed Item
This page was built for publication: On the Monadic Second-Order Transduction Hierarchy
