Page Areas:



Additional Information:

News

  • 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!

Location

Science Park II, 3rd floor

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


Position Indication:

Content

Publications

Peer reviewed publications / already published

1. E. Aichinger and P. Mayr. Finitely generated equational classes.
Journal Pure and Applied Algebra, 220, 2816–2827, 2016.
URL: http://arxiv.org/abs/1403.7938

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
URL: http://arxiv.org/abs/1504.02663

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

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
URL: http://arxiv.org/abs/1406.6413

6. P. Mayr. On finitely related semigroups.
Semigroup Forum, 86(3), 613–633, 2013.
DOI: 10.1007/s00233-012-9455-6
URL: http://link.springer.com/article/10.1007%2Fs00233-012-9455-6

Accepted

7. A. Bulatov, M. Kozik, P. Mayr, and M. Steindl.
The subpower membership problem for semigroups.
Accepted for IJAC (15 pages), 2016.
URL: http://arxiv.org/abs/1603.09333

8. H. Chen and P. Mayr.
Quantified Constraint Satisfaction on monoids.
Accepted for CSL 2016 (12 pages).
URL: http://csl16.lif.univ-mrs.fr/

Submitted

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.
URL: http://arxiv.org/abs/1604.05408

11. M. Steindl.
The subpower membership problem for bands. (20 pages), 2016.
URL: https://arxiv.org/pdf/1604.01014v1

12. M. Steindl.
On semigroups with PSPACE-complete subpower membership problem. (19 pages), 2016.
URL: https://arxiv.org/abs/1604.01757

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).

Theses

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.

Programs

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.

Talks

Contact

Close
Sender
  1. Salutation
Message
  1. Subject *


Security code:
Please check security code!