Browsing by Author Martínez Alonso, Juan Carlos
Showing results 11 to 15 of 15
< previous
Issue Date | Title | Author(s) |
---|---|---|
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 |