Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 01.10.2012 → 31.12.2015 |
Fields of science
- 101001 Algebra
- 101009 Geometry
- 101005 Computer algebra
- 101025 Number theory
- 101 Mathematics
- 101013 Mathematical logic
- 102031 Theoretical computer science
JKU Focus areas
- Digital Transformation
-
Finitely generated equational classes
Aichinger, E. & Mayr, P., 01 Aug 2016, In: Journal of Pure and Applied Algebra. 220, 8, p. 2816-2827 12 p.Research output: Contribution to journal › Article › peer-review
-
On semigroups with PSPACE-complete subpower membership problem
Steindl, M., 2016, 19 p. (arXiv.org; no. arXiv:1604.01757[math.GR]).Research output: Working paper and reports › Preprint
-
The subpower membership problem for semigroups
Bulatov, A., Kozik, M., Mayr, P. & Steindl, M., 01 Nov 2016, In: International Journal of Algebra and Computation. 26, 7, p. 1435-1451 17 p.Research output: Contribution to journal › Article › peer-review
-
An Algebraic Theory for Reversible Computation
Boykett, T. (Speaker)
12 Jan 2016Activity: Talk or presentation › Invited talk › unknown
-
Computational problems for direct products of algebras
Mayr, P. (Speaker)
24 Jun 2015Activity: Talk or presentation › Contributed talk › unknown
-
Computations in direct powers
Mayr, P. (Speaker)
05 Jun 2015Activity: Talk or presentation › Invited talk › unknown