Browsing by Author Martínez Alonso, Juan Carlos
Showing results 1 to 15 of 15
Issue Date | Title | Author(s) |
---|---|---|
9-Jul-2021 | A consistency result on long cardinal sequences | Martínez Alonso, Juan Carlos; Soukup, Lajos |
27-Jun-2016 | Automated theorem proving | Montserrat Armstrong, Miquel |
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 |
15-Jan-2024 | Sobre la decidibilitat de problemes computacionals | Garcia i Serrano, Aniol |
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 |
17-Jan-2024 | Verificación de programas | Rodríguez Martínez, Ana |