Jan Philipp Wächter

CoRR, 2024

The Freeness Problem for Automaton Semigroups.

[BibT_eX]

[DOI]

Proceedings of the 49th International Symposium on Mathematical Foundations of Computer Science, 2024

2023

An Automaton Group with PSPACE-Complete Word Problem.

[BibT_eX]

[DOI]

Armin Weiß

Theory Comput. Syst., February, 2023

The Word Problem for Finitary Automaton Groups.

[BibT_eX]

[DOI]

Maximilian Kotowsky

Proceedings of the Descriptional Complexity of Formal Systems, 2023

2022

The Self-Similarity of Free Semigroups and Groups.

[BibT_eX]

[DOI]

CoRR, 2022

2021

On orbits and the finiteness of bounded automaton groups.

[BibT_eX]

[DOI]

Ievgen V. Bondarenko

Int. J. Algebra Comput., 2021

2020

Automaton structures: decision problems and structure theory.

[BibT_eX]

[DOI]

PhD thesis, 2020

Orbit expandability of automaton semigroups and groups.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2020

2019

Orbits of Automaton Semigroups and Groups.

[BibT_eX]

[DOI]

CoRR, 2019

2018

The Word Problem for Omega-Terms over the Trotter-Weil Hierarchy.

[BibT_eX]

[DOI]

Manfred Kufleitner

Theory Comput. Syst., 2018

On the Structure Theory of Partial Automaton Semigroups.

[BibT_eX]

[DOI]

CoRR, 2018

2017

Automaton Semigroups and Groups: on the Undecidability of Problems Related to Freeness and Finiteness.

[BibT_eX]

[DOI]

CoRR, 2017

On the complexity of the word problem for automaton semigroups and automaton groups.

[BibT_eX]

[DOI]

Adv. Appl. Math., 2017

2016

The Word Problem for Omega-Terms over the Trotter-Weil Hierarchy - (Extended Abstract).

[BibT_eX]

[DOI]

Manfred Kufleitner

Proceedings of the Computer Science - Theory and Applications, 2016

2014

Two-Variable Ehrenfeucht-Fraisse Games over Omega-Terms.

[BibT_eX]

[DOI]

Manfred Kufleitner