Dr Manlio Valenti

Darlithydd mewn Cyfrifiadureg, Computer Science

manlio.valenti@abertawe.ac.uk

326
Trydydd Llawr
Y Ffowndri Gyfrifiadol
Campws y Bae

Ar gael ar gyfer Goruchwyliaeth Ôl-raddedig

Dolenni Ymchwil

Mae Manlio Valenti yn Ddarlithydd yn yr Adran Gyfrifiadureg, Prifysgol Abertawe.

Valenti, M., GOH, J., Pauly, A., & VALENTI, M. (2021). FINDING DESCENDING SEQUENCES THROUGH ILL-FOUNDED LINEAR ORDERS. The Journal of Symbolic Logic, 86(2), 817-854.
https://doi.org/10.1017/jsl.2021.15, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa57509
Soldà, G. & Valenti, M. (2023). Algebraic properties of the first-order part of a problem. Annals of Pure and Applied Logic, 174(7), 103270
https://doi.org/10.1016/j.apal.2023.103270, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa65548
Marcone, A. & Valenti, M. (2022). Effective aspects of Hausdorff and Fourier dimension. Computability, 11(3-4), 299-333.
https://doi.org/10.3233/com-210372, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa65549
Marcone, A. & Valenti, M. (2021). On the descriptive complexity of Salem sets. Fundamenta Mathematicae, 257(1), 69-93.
https://doi.org/10.4064/fm997-7-2021, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa65550
MARCONE, A. & Valenti, M. (2021). THE OPEN AND CLOPEN RAMSEY THEOREMS IN THE WEIHRAUCH LATTICE. The Journal of Symbolic Logic, 86(1), 316-351.
https://doi.org/10.1017/jsl.2021.10, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa65551

Soldà, G. & Valenti, M. (2023). Algebraic properties of the first-order part of a problem. Annals of Pure and Applied Logic, 174(7), 103270
https://doi.org/10.1016/j.apal.2023.103270, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa65548
Marcone, A. & Valenti, M. (2022). Effective aspects of Hausdorff and Fourier dimension. Computability, 11(3-4), 299-333.
https://doi.org/10.3233/com-210372, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa65549
Marcone, A. & Valenti, M. (2021). On the descriptive complexity of Salem sets. Fundamenta Mathematicae, 257(1), 69-93.
https://doi.org/10.4064/fm997-7-2021, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa65550
Valenti, M., GOH, J., Pauly, A., & VALENTI, M. (2021). FINDING DESCENDING SEQUENCES THROUGH ILL-FOUNDED LINEAR ORDERS. The Journal of Symbolic Logic, 86(2), 817-854.
https://doi.org/10.1017/jsl.2021.15, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa57509
MARCONE, A. & Valenti, M. (2021). THE OPEN AND CLOPEN RAMSEY THEOREMS IN THE WEIHRAUCH LATTICE. The Journal of Symbolic Logic, 86(1), 316-351.
https://doi.org/10.1017/jsl.2021.10, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa65551

CS-275 Automata and Formal Language Theory

This module introduces the notion of grammars for defining the syntax of formal languages, especially programming languages. It introduces the limits of computation using Turing Machines and other models of computation.