Decidability of S1S and S2S
From MaRDI portal
Publication:4412835
DOI10.1007/3-540-36387-4_12zbMath1021.03001OpenAlexW1596201097MaRDI QIDQ4412835
Publication date: 16 July 2003
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-36387-4_12
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (2)
On the model-checking of monadic second-order formulas with edge set quantifications ⋮ PDL for ordered trees
This page was built for publication: Decidability of S1S and S2S
