scientific article; zbMATH DE number 1944133

MaRDI QIDQ4407441zbMATH OpenFDO

Authors Pascal Tesson, Denis Thérien

Publication date 30 November 2003

zbMATH Keywords

aperiodic semigroupsfinite monoidspseudovarietiesregular \(\mathcal D\)-classes

Mathematics Subject Classification ID

Varieties and pseudovarieties of semigroups (20M07)

Recommendations

• Diamonds are forever
• Diamonds
• scientific article; zbMATH DE number 1820097
• Totally Multicolored diamonds
• scientific article; zbMATH DE number 1122204
• Diamond. A paradox logic
• JOINT DIAMONDS AND LAVER DIAMONDS
• scientific article; zbMATH DE number 7640987
• 1-consistency and the diamond

Cited in

(30)

• The word problem for omega-terms over the Trotter-Weil hierarchy
• On free spectra of finite monoids from the pseudovariety \(\mathsf{DA}\).
• Geometrically closed positive varieties of languages
• Omega-rational expressions with bounded synchronization delay
• The half-levels of the \(\mathrm {FO}_2\) alternation hierarchy
• Pseudovarieties of ordered completely regular semigroups
• Learning expressions and programs over monoids
• The Shuffle Product: New Research Directions
• On FO 2 Quantifier Alternation over Words
• The intersection problem for finite monoids
• Efficiency of automata in semi-commutation verification techniques
• Representation theory of finite semigroups, semigroup radicals and formal language theory
• Language theoretical properties of hairpin formations
• Conservative groupoids recognize only regular languages
• Separating Without Any Ambiguity.
• The power of programs over monoids in DA
• Reversible regular languages: logical and algebraic characterisations
• One quantifier alternation in first-order logic with modular predicates
• Fragments of first-order logic over infinite words
• The Word Problem for Omega-Terms over the Trotter-Weil Hierarchy
• The intersection problem for finite semigroups
• Circuit complexity of regular languages
• How many times do you need to go back to the future in unary temporal logic?
• The word problem for \(\omega \)-terms over DA
• Unary and two-variable interval logics
• A generic characterization of generalized unary temporal logic and two-variable first-order logic
• On the lattice of sub-pseudovarieties of DA.
• Pure future local temporal logics are expressively complete for Mazurkiewicz traces
• Two algebraic approaches to variants of the concatenation product
• Polynomials, fragments of temporal logic and the variety DA over traces

This page was built for publication:

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