Jorge Almeida

Manfred Kufleitner

Jan Philipp Wächter

CoRR, 2024

2022

Book Introduction by the Authors: Profinite Semigroups and Symbolic Dynamic.

[BibT_eX]

[DOI]

Bull. EATCS, 2022

2021

Binary patterns in the Prouhet-Thue-Morse sequence.

[BibT_eX]

[DOI]

Discret. Math. Theor. Comput. Sci., 2021

Profinite topologies.

[BibT_eX]

[DOI]

Alfredo Costa

Proceedings of the Handbook of Automata Theory., 2021

2020

Profinite congruences and unary algebras.

[BibT_eX]

[DOI]

CoRR, 2020

2019

On the insertion of n-powers.

[BibT_eX]

[DOI]

Discret. Math. Theor. Comput. Sci., 2019

Recognizing pro-R closures of regular languages.

[BibT_eX]

[DOI]

CoRR, 2019

2017

On the Topological Semigroup of Equational Classes of Finite Functions Under Composition.

[BibT_eX]

[DOI]

Miguel Couceiro

Tamás Waldhauser

J. Multiple Valued Log. Soft Comput., 2017

Complete κ-reducibility of pseudovarieties of the form DRH.

[BibT_eX]

[DOI]

Célia Borlido

Int. J. Algebra Comput., 2017

The linear nature of pseudowords.

[BibT_eX]

[DOI]

CoRR, 2017

Commutative Positive Varieties of Languages.

[BibT_eX]

[DOI]

Zoltán Ésik

Jean-Éric Pin

Acta Cybern., 2017

2016

Semisimple Synchronizing Automata and the Wedderburn-Artin Theory.

[BibT_eX]

[DOI]

Emanuele Rodaro

Int. J. Found. Comput. Sci., 2016

Reducibility vs. definability for pseudovarieties of semigroups.

[BibT_eX]

[DOI]

Int. J. Algebra Comput., 2016

Factoriality and the Pin-Reutenauer procedure.

[BibT_eX]

[DOI]

Discret. Math. Theor. Comput. Sci., 2016

The omega-inequality problem for concatenation hierarchies of star-free languages.

[BibT_eX]

[DOI]

Michal Kunc

CoRR, 2016

2015

McCammond's normal forms for free aperiodic semigroups revisited.

[BibT_eX]

[DOI]

LMS J. Comput. Math., 2015

On fixed points of the lower set operator.

[BibT_eX]

[DOI]

Int. J. Algebra Comput., 2015

On Decidability of Intermediate Levels of Concatenation Hierarchies.

[BibT_eX]

[DOI]

Proceedings of the Developments in Language Theory - 19th International Conference, 2015

2014

Iterated periodicity over finite aperiodic semigroups.

[BibT_eX]

[DOI]

Eur. J. Comb., 2014

2013

On the Semigroup of Equational Classes of Finite Functions.

[BibT_eX]

[DOI]

Miguel Couceiro

Tamás Waldhauser

Proceedings of the 43rd IEEE International Symposium on Multiple-Valued Logic, 2013

2012

On the Transition Semigroups of Centrally Labeled Rauzy Graphs.

[BibT_eX]

[DOI]

Alfredo Costa

Int. J. Algebra Comput., 2012

2010

New decidable upper bound of the second level in the Straubing-Thérien concatenation hierarchy of star-free languages.

[BibT_eX]

[DOI]

Discret. Math. Theor. Comput. Sci., 2010

2009

A counterexample to a conjecture concerning concatenation hierarchies.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2009

Matrix Mortality and the Cerný-Pin Conjecture.

[BibT_eX]

[DOI]

Benjamin Steinberg

Proceedings of the Developments in Language Theory, 13th International Conference, 2009

2008

Description and analysis of a bottom-up DFA minimization algorithm.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2008

2007

An automata-theoretic approach to the word problem for omega -terms over R.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2007

2006

Subword Complexity of Profinite Words and Subgroups of Free Profinite Semigroups.

[BibT_eX]

[DOI]

Int. J. Algebra Comput., 2006

2005

The pseudovariety of semigroups of triangular matrices over a finite field.

[BibT_eX]

[DOI]

Stuart W. Margolis

RAIRO Theor. Informatics Appl., 2005

The globals of pseudovarieties of ordered semigroups containing B2 and an application to a problem proposed by Pin.

[BibT_eX]

[DOI]

Ana Paula Escada

RAIRO Theor. Informatics Appl., 2005

Tameness of the Pseudovariety of Abelian Groups.

[BibT_eX]

[DOI]

Manuel Delgado

Int. J. Algebra Comput., 2005

2004

The Globals of Some Subpseudovarieties of DA.

[BibT_eX]

[DOI]

Ana Paula Escada

Int. J. Algebra Comput., 2004

2001

SC-hyperdecidability of R.

[BibT_eX]

[DOI]

Pedro V. Silva

Theor. Comput. Sci., 2001

The Gap Between Partial and Full: an Addendum.

[BibT_eX]

[DOI]

Peter M. Higgins

Int. J. Algebra Comput., 2001

2000

On Hyperdecidable Pseudovarieties of Simple Semigroups.

[BibT_eX]

[DOI]

Int. J. Algebra Comput., 2000

Semidirect Products With the Pseudovariety of All Finite Groups.

[BibT_eX]

Ana Paula Escada

Proceedings of the International Colloquium on Words, 2000

1999

Pseudovariety Joins involving -Trivial Semigroups.

[BibT_eX]

[DOI]

Assis Azevedo

Int. J. Algebra Comput., 1999

Hyperdecidable Pseudovarieties and the Calculation of Semidirect Products.

[BibT_eX]

[DOI]

Int. J. Algebra Comput., 1999

1998

The Gap Between Partial and Full.

[BibT_eX]

[DOI]

Int. J. Algebra Comput., 1998

1997

The Pseudovariety J is Hyperdecidable.

[BibT_eX]

[DOI]

RAIRO Theor. Informatics Appl., 1997

Free Profinite ℛ-Trivial Monoids.

[BibT_eX]

[DOI]

Pascal Weil

Int. J. Algebra Comput., 1997

1996

A Syntactical Proof of Locality of da.

[BibT_eX]

[DOI]

Int. J. Algebra Comput., 1996

1994

Reduced Factorizations in Free Profinite Groups and Join Decompositions of Pseudovarieties.

[BibT_eX]

[DOI]

Pascal Weil

Int. J. Algebra Comput., 1994

1993

Locally Commutative Power Semigroups and Counting Factors of Words.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1993

1991

On Direct Product Decompositions of Finite -Trivial Semigroups.

[BibT_eX]

[DOI]

Int. J. Algebra Comput., 1991

1988

Equations for pseudovarieties.

[BibT_eX]

[DOI]