Browsing by Subject Turing machines
Showing results 1 to 5 of 5
| Issue Date | Title | Author(s) |
|---|---|---|
| 10-Jun-2024 | A formal introduction to zero-knowledge proofs | Peso Vilella, Antonio |
| 19-Jan-2018 | L’ombra del programa de Hilbert | Bargalló Jiménez, Jordi |
| 15-Jan-2024 | Sobre la decidibilitat de problemes computacionals | Garcia i Serrano, Aniol |
| 18-Jun-2021 | Tesis de Church-Turing | Vendrell Titó, Pau |
| 1-Sep-2023 | Universality of Euler flows and flexibility of Reeb embeddings | Cardona Aguilar, Robert; Miranda Galcerán, Eva; Peralta Salas, Daniel; Presas Mata, Francisco |