scientific article; zbMATH DE number 1944133
From MaRDI portal
Publication:4407441
zbMath1031.20049MaRDI QIDQ4407441
Publication date: 30 November 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
The word problem for omega-terms over the Trotter-Weil hierarchy, On FO 2 Quantifier Alternation over Words, 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, The intersection problem for finite monoids, The half-levels of the \(\mathrm {FO}_2\) alternation hierarchy, Pseudovarieties of ordered completely regular semigroups, How many times do you need to go back to the future in unary temporal logic?, Language theoretical properties of hairpin formations, Efficiency of automata in semi-commutation verification techniques, The word problem for \(\omega \)-terms over DA, Conservative groupoids recognize only regular languages, Separating Without Any Ambiguity., Circuit complexity of regular languages, Reversible Regular Languages: Logical and Algebraic Characterisations, Fragments of first-order logic over infinite words, The Word Problem for Omega-Terms over the Trotter-Weil Hierarchy, Learning expressions and programs over monoids, On the lattice of sub-pseudovarieties of DA., The Shuffle Product: New Research Directions, Representation theory of finite semigroups, semigroup radicals and formal language theory, The Power of Programs over Monoids in DA, One quantifier alternation in first-order logic with modular predicates, Geometrically closed positive varieties of languages, The Intersection Problem for Finite Semigroups, Omega-rational expressions with bounded synchronization delay
