P
Pascal Weil
Researcher at Centre national de la recherche scientifique
Publications - 31
Citations - 345
Pascal Weil is an academic researcher from Centre national de la recherche scientifique. The author has contributed to research in topics: Decidability & Free group. The author has an hindex of 8, co-authored 31 publications receiving 317 citations. Previous affiliations of Pascal Weil include University of Bordeaux & L'Abri.
Papers
More filters
Journal ArticleDOI
A Reiterman theorem for pseudovarieties of finite first-order structures
Jean-Eric Pin,Pascal Weil +1 more
TL;DR: In this paper, the authors extend Reiterman's theorem to first-order structures and show that a class of finite firstorder structures is a pseudovariety if and only if it is defined by a set of identities in a relatively free profinite structure (pseudoidentities).
Book ChapterDOI
Series-Parallel Posets: Algebra, Automata and Languages
Kamal Lodaya,Pascal Weil +1 more
TL;DR: This work extends automata theory from the usual word languages to sets of labelled series-parallel posets, and introduces series-rational expressions, a natural generalization of the usual rational expressions, as well as a notion of branching automaton.
Journal ArticleDOI
On the complexity of the Whitehead minimization problem
TL;DR: It follows that the primitivity problem — to decide whether a word is an element of some basis of the free group — and the free factor problem can also be solved in polynomial time.
Book ChapterDOI
Algebraic Recognizability of Languages
TL;DR: In this article, the authors explore how this word-related notion extends to more complex models, such as those developed for modeling distributed or timed behaviors, and explore why that is.
Journal ArticleDOI
Semigroups with idempotent stabilizers and applications to automata theory
TL;DR: It is shown that every finite Semigroup is a quotient of a finite semigroup in which every right stabilizer satisfies the identities x = x^2 and xy = xyx, and an algebraic proof of a theorem of Brown on a finiteness condition for semigroups is given.