Monadic Second-Order Logic with Arbitrary Monadic Predicates
From MaRDI portal
Publication:2922023
DOI10.1007/978-3-662-44522-8_24zbMath1426.03012arXiv1709.03117MaRDI QIDQ2922023
Nathanaël Fijalkow, Charles Paperman
Publication date: 14 October 2014
Published in: Mathematical Foundations of Computer Science 2014, ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1709.03117
DB lookup for MSC labels failed