Browsing by Author Martínez Alonso, Juan Carlos
Showing results 3 to 13 of 13
< previous
| Issue Date | Title | Author(s) |
|---|---|---|
| 1992 | A consistency result on thin-tall superatomic Boolean algebras | Martínez Alonso, Juan Carlos |
| 20-Sep-2022 | Constructions of Lindelöf scattered P-spaces | Martínez Alonso, Juan Carlos; Soukup, Lajos |
| 2000 | Demostració automàtica | Martínez Alonso, Juan Carlos |
| 1996 | Fundamentos de demostración automática de teoremas | Martínez Alonso, Juan Carlos |
| 27-Jun-2018 | Fundamentos de programación lógica | Barriga Martı́n, Héctor |
| 15-Jun-2019 | On cardinal sequences of length less than omega3 | Martínez Alonso, Juan Carlos; Soukup, Lajos |
| 1997 | On cardinal sequences of scattered spaces | Martínez Alonso, Juan Carlos |
| 23-Jan-2015 | Programación lógica | Cardona Taltavull, Jordi Antoni |
| 20-Jun-2019 | Teorı́a de autómatas | Milesi Vidal, Alex |
| 18-Jun-2021 | Tesis de Church-Turing | Vendrell Titó, Pau |
| 13-Jun-2022 | The consistency of the negation of the Continuum Hypothesis | Fernàndez Dejean, Anton |