Monadic Second-Order Logic with Arbitrary Monadic Predicates

DOI10.1007/978-3-662-44522-8_24zbMath1426.03012arXiv1709.03117OpenAlexW2746167094MaRDI 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

zbMATH Keywords

monadic predicatesautomata with advicemorphic predicates

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Higher-order logic (03B16)

This page was built for publication: Monadic Second-Order Logic with Arbitrary Monadic Predicates