Loading…
Loading…
Loading…
Loading…
Loading…
Loading…
Loading…
Loading…
Notes on the decidability of addition and the Frobenius map for polynomials and rational functions
Chompitaki, Dimitra, Kamarianakis, Manos, Pheidas, Thanases
Published in Reports on mathematical logic (01.01.2022)
Published in Reports on mathematical logic (01.01.2022)
Get full text
Journal Article
Loading…
Loading…
Loading…
A formal approach to Menger's theorem
Bonacina, Roberta, Misselbeck-Wessel, Daniel
Published in Reports on mathematical logic (01.01.2022)
Published in Reports on mathematical logic (01.01.2022)
Get full text
Journal Article
Loading…
Loading…
On the relation of negations in Nelson algebras
Gomez, Conrado, Marcos, Miguel Andres, San Martin, Hernan J
Published in Reports on mathematical logic (2021)
Published in Reports on mathematical logic (2021)
Get full text
Journal Article
Loading…
PBZ-Lattices: Structure Theory and Subvarieties
Giuntini, Roberto, Mureşan, Claudia, Paoli, Francesco
Published in Reports on mathematical logic (2020)
Published in Reports on mathematical logic (2020)
Get full text
Journal Article
Loading…
Loading…
Loading…
Loading…
Loading…
Editorial and Title Pages
Published in Reports on mathematical logic
(01.01.2023)
Get full text
Journal Article
Loading…