On Second-Order Monadic Groupoidal Quantifiers
From MaRDI portal
Publication:3511462
DOI10.1007/978-3-540-69937-8_21zbMath1156.03037OpenAlexW93953757MaRDI QIDQ3511462
Juha Kontinen, Heribert Vollmer
Publication date: 10 July 2008
Published in: Logic, Language, Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-69937-8_21
Automata and formal grammars in connection with logical questions (03D05) Logic with extra quantifiers and operators (03C80) Word problems, etc. in computability and recursion theory (03D40)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Extensions of MSO and the monadic counting hierarchy
- Extensions to Barrington's M-program model
- On uniformity within \(NC^ 1\)
- The Hardest Context-Free Language
- LINDSTRÖM QUANTIFIERS AND LEAF LANGUAGE DEFINABILITY
- The descriptive complexity approach to LOGCFL
This page was built for publication: On Second-Order Monadic Groupoidal Quantifiers
