Modular quantifiers

MaRDI QIDQ3086935zbMATH OpenFDO

Authors Howard Straubing, Denis Thérien

Publication date 30 March 2011

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)

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

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)