Page Areas:

Additional Information:


  • Prüfungstermin
    Am 15.01.2016 von 08:30 bis 11:45 Uhr ist Prüfungstermin für "Algebra für InformatikerInnen" (SS15), "Einführung in die Algebra" (SS15) und "Kommutative Algebra" (SS15). Prüfungsanmeldung über Kusss erforderlich!


Science Park II, 3rd floor

Science Park II, 3rd floor, GPS: 48.335634,14.323747 ...  more of Location (Titel)

Position Indication:



Peer reviewed publications / already published

1. E. Aichinger and P. Mayr. Finitely generated equational classes.
Journal Pure and Applied Algebra, 220, 2816–2827, 2016.

2. E. Aichinger and P. Mayr. Independence of algebras with edge term.
Internat. J. Algebra Comput. (IJAC) 25(7), 11451157, 2015.
DOI: 10.1142/S0218196715500344

3. W. Bentz and P. Mayr. Supernilpotence prevents dualizablility.
Journal Australian Math. Society, 96, 1–24, 2014.
DOI: 10.1017/S1446788713000517

4. T. Boykett, J. Kari, and V. Salo.
Strongly universal reversible gate sets.
In Reversible Computation, S. Devitt and I. Lanese (Eds.): RC 2016, LNCS 9720, 239-254, 2016.
DOI: 10.1007/978-3-319-40578-0 18

5. J. Bulin, D. Delic, M. Jackson and T. Niven.
A finer reduction of constraint problems to digraphs.
Logical Methods in Computer Science 11(4:18) (2015), 133.
DOI: 10.2168/LMCS-11(4:18)2015

6. P. Mayr. On finitely related semigroups.
Semigroup Forum, 86(3), 613–633, 2013.
DOI: 10.1007/s00233-012-9455-6


7. A. Bulatov, M. Kozik, P. Mayr, and M. Steindl.
The subpower membership problem for semigroups.
Accepted for IJAC (15 pages), 2016.

8. H. Chen and P. Mayr.
Quantified Constraint Satisfaction on monoids.
Accepted for CSL 2016 (12 pages).


9. T. Boykett.
Closed systems of invertible maps. (23 pages), 2015.

10. P. Mayr and N. Ruskuc.
Finiteness properties on direct products of algebraic structures. (15 pages), 2016.

11. M. Steindl.
The subpower membership problem for bands. (20 pages), 2016.

12. M. Steindl.
On semigroups with PSPACE-complete subpower membership problem. (19 pages), 2016.

In preparation

13. A. Bulatov, P. Mayr, and A. Szendrei.
Subpower membership problem for algebras with edge term. (40 pages).

14. O. Koshik and P. Mayr.
Term equivalence of semigroups. (15 pages).

15. P. Mayr.
Degree of operations on groups. (10 pages).

16. P. Mayr and N. Ruskuc.
On finite generation and presentability of subdirect products. (20 pages).

17. P. Mayr and A. Szendrei.
Algebras from congruences. In preparation (15 pages).


P. Mayr. On finitely related algebras. Habilitation thesis, JKU Linz, 2013.

M. Steindl. Computational complexity of the Subpower Membership Problem for semigroups. PhD-thesis, JKU Linz, 2015.


The following GAP-programs are for computing in direct powers of (expansions of) groups. For documentations see Zweckinger's Master Thesis and the file manual.