Trace languages definable with modular quantifiers

MaRDI QIDQ5485973zbMATH OpenFDO

Authors Manfred Droste, Dietrich Kuske

Publication date 6 September 2006

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05)

Recommendations

• Regular languages defined with generalized quantifiers
• scientific article; zbMATH DE number 4076666
• scientific article; zbMATH DE number 2051828
• Modulo-counting quantifiers over finite trees
• scientific article; zbMATH DE number 1136081

Cited in

(7)

• Representation of computations in concurrent automata by dependence orders
• Toward a Structure Theory of Regular Infinitary Trace Languages
• Regular sets of infinite message sequence charts
• scientific article; zbMATH DE number 2051828 (Why is no real title available?)
• scientific article; zbMATH DE number 4076666 (Why is no real title available?)
• Modular quantifiers
• scientific article; zbMATH DE number 512855 (Why is no real title available?)

This page was built for publication: Trace languages definable with modular quantifiers

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