Monadic second-order logic with arbitrary monadic predicates

DOI10.1007/978-3-662-44522-8_24MaRDI QIDQ6828988zbMATH OpenFDO

Authors Nathanaël Fijalkow, Charles Paperman

Publication date 14 October 2014

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-44522-8_24

Mathematics Subject Classification ID

Higher-order logic (03B16) Automata and formal grammars in connection with logical questions (03D05) Formal languages and automata (68Q45)

This page was built for publication: Monadic second-order logic with arbitrary monadic predicates

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6828988)