AGUILERA OZUNA, Juan Pablo
Prefix title Titel (vorangestellt)
Projektass. Dr.techn.
Full name Familienname, Vorname
AGUILERA OZUNA, Juan Pablo
Main Affiliation Organisationszuordnung
Date issued
Results 1-3 of 3 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Baaz, Matthias ; Aguilera Ozuna, Juan Pablo | Cut Elimination for Gödel Logic with an Operator Adding a Constant | Konferenzbeitrag Inproceedings | 2016 | |
| 2 | Aguilera Ozuna, Juan Pablo | Compactness in Infinitary Gödel Logics | Konferenzbeitrag Inproceedings | 2016 | |
| 3 | Aguilera Ozuna, Juan Pablo | Between the finite and the infinite | Thesis Hochschulschrift | 2019 |
Results 1-1 of 1 (Search time: 0.0 seconds).
| Title | P-Investigator |
|---|---|
| Reflection Spectra: Predicative Mathematics and Beyond | AGUILERA OZUNA, Juan Pablo |