JournalspmVol. 75, No. 2

Volume 75, No. 2 (2018)

Portugaliae Mathematica

Port. Math. cover

pp. 79–119
Towards a pseudoequational proof theory
Jorge AlmeidaOndřej Klíma
DOI 10.4171/PM/2012
pp. 121–157
On flows generated by vector fields with compact support
Olivier KneussWladimir Neves
DOI 10.4171/PM/2013
pp. 159–186
Notes on computational-to-statistical gaps: predictions using statistical physics
Afonso BandeiraAmelia PerryAlexander S. Wein
DOI 10.4171/PM/2014