Modular quantifiers

zbMATH Open1244.03119MaRDI QIDQ3086935FDOQ3086935

Authors: Howard Straubing, Denis Thérien 

Publication date: 30 March 2011

Recommendations

• scientific article; zbMATH DE number 1136081
• Regular languages defined with generalized quantifiers
• Trace languages definable with modular quantifiers
• Languages defined with modular counting quantifiers
• scientific article; zbMATH DE number 4076666

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Automata and formal grammars in connection with logical questions (03D05) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Complexity of computation (including implicit computational complexity) (03D15)

Cited In (2)

• Quantifiers on languages and codensity monads
• Modulo counting on words and trees

This page was built for publication: Modular quantifiers

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