A Complete Axiomatization of MSO on Infinite Trees
From MaRDI portal
Publication:4635820
DOI10.1109/LICS.2015.44zbMath1394.03008OpenAlexW1493991352MaRDI QIDQ4635820
Publication date: 23 April 2018
Published in: 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/lics.2015.44
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (1)
This page was built for publication: A Complete Axiomatization of MSO on Infinite Trees