Trace languages definable with modular quantifiers

zbMATH Open1096.68653MaRDI QIDQ5485973FDOQ5485973

Dietrich Kuske, Manfred Droste

Publication date: 6 September 2006

Recommendations

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

Mathematics Subject Classification ID

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

Cited In (6)

• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)