Manfred Kufleitner

activity

20072024

most citedOn the index of Simon's congruence for piecewise testability

48 citations · 114 across the 32 of their papers we have counts for

collaborators

Showing 2016Show all

2 papers · 1 filter

cs.FL2016

Operations on Weakly Recognizing Morphisms

Lukas Fleischer, Manfred Kufleitner

Weakly recognizing morphisms from free semigroups onto finite semigroups are a classical way for defining the class of omega-regular languages, i.e., a set of infinite words is wea…

cs.FL2016

Solutions of Word Equations over Partially Commutative Structures

Volker Diekert, Artur Jeż, Manfred Kufleitner +1

Let $M (A, I)$ be a free partially commutative monoid with involution and $G (A, I)$ its quotient group (for example, a right-angled Artin or Coxeter group). We show that for any syste…