We stand with Ukraine  

Peter Mayr

Orcid: 0000-0003-1163-313X

Affiliations:
  • 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 16 papers between 2000 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
On the Complexity Dichotomy for the Satisfiability of Systems of Term Equations over Finite Algebras.
[BibTeX]
[DOI]
Peter Mayr
Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science, 2023

2022
Small Promise CSPs that reduce to large CSPs.
[BibTeX]
[DOI]
Alexandr Kazda
,
Peter Mayr
,
Dmitriy Zhuk
Log. Methods Comput. Sci., 2022

2021
Small PCSPs that reduce to large CSPs.
[BibTeX]
[DOI]
Alexandr Kazda
,
Peter Mayr
,
Dmitriy Zhuk
CoRR, 2021

2020
Bounded homomorphisms and finitely generated fiber products of lattices.
[BibTeX]
[DOI]
William J. DeMeo
,
Peter Mayr
,
Nik Ruskuc
Int. J. Algebra Comput., 2020

Sandwiches for Promise Constraint Satisfaction.
[BibTeX]
[DOI]
Guofeng Deng
,
Ezzeddine El Sai
,
Trevor Manders
,
Peter Mayr
,
Poramate Nakkirt
,
Athena Sparks
CoRR, 2020

2019
The Subpower Membership Problem for Finite Algebras with Cube Terms.
[BibTeX]
[DOI]
Andrei Bulatov
,
Peter Mayr
,
Ágnes Szendrei
Log. Methods Comput. Sci., 2019

Generating subdirect products.
[BibTeX]
[DOI]
Peter Mayr
,
Nik Ruskuc
J. Lond. Math. Soc., 2019

2016
The subpower membership problem for semigroups.
[BibTeX]
[DOI]
Andrei Bulatov
,
Marcin Kozik
,
Peter Mayr
,
Markus Steindl
Int. J. Algebra Comput., 2016

The subpower membership problem for semigroups.
[BibTeX]
[DOI]
Andrei Bulatov
,
Peter Mayr
,
Markus Steindl
CoRR, 2016

Quantified Constraint Satisfaction on Monoids.
[BibTeX]
[DOI]
Hubie Chen
,
Peter Mayr
Proceedings of the 25th EACSL Annual Conference on Computer Science Logic, 2016

2015
Independence of algebras with edge term.
[BibTeX]
[DOI]
Erhard Aichinger
,
Peter Mayr
Int. J. Algebra Comput., 2015

2012
The Subpower Membership Problem for Mal'cEV Algebras.
[BibTeX]
[DOI]
Peter Mayr
Int. J. Algebra Comput., 2012

2008
Polynomial Clones on Squarefree Groups.
[BibTeX]
[DOI]
Peter Mayr
Int. J. Algebra Comput., 2008

2005
A Topological Criterion for Polynomiality.
[BibTeX]
Günter Landsmann
,
Peter Mayr
,
Josef Schicho
Proceedings of the Algorithmic Algebra and Logic. Proceedings of the A3L 2005, 2005

2001
Algorithms for Finite Near-rings and their N-groups.
[BibTeX]
[DOI]
Franz Binder
,
Peter Mayr
J. Symb. Comput., 2001

2000
Algorithms for near-rings of non-linear transformations.
[BibTeX]
[DOI]
Franz Binder
,
Erhard Aichinger
,
Jürgen Ecker
,
Christof Nöbauer
,
Peter Mayr
Proceedings of the 2000 International Symposium on Symbolic and Algebraic Computation, 2000


  Loading...