Peter Mayr
Orcid: 0000-0003-1163-313XAffiliations:
- University of Colorado Boulder, CO, USA
- University of Lisbon, Portugal (former)
- University of Linz, Austria (former)
According to our database1,
Peter Mayr
authored at least 17 papers
between 2000 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on scopus.com
-
on orcid.org
On csauthors.net:
Bibliography
2024
2023
On the Complexity Dichotomy for the Satisfiability of Systems of Term Equations over Finite Algebras.
Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science, 2023
2022
2021
2020
Int. J. Algebra Comput., 2020
2019
Log. Methods Comput. Sci., 2019
2016
Proceedings of the 25th EACSL Annual Conference on Computer Science Logic, 2016
2015
2012
2008
2005
A Topological Criterion for Polynomiality.
Proceedings of the Algorithmic Algebra and Logic. Proceedings of the A3L 2005, 2005
2001
2000
Proceedings of the 2000 International Symposium on Symbolic and Algebraic Computation, 2000