University of Verona — Italy
Computer Science · Physical Sciences
25h-index3.9kcitations269works0.52yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Computability, Logic, AI Algorithms(49), Advanced Algebra and Logic(37), Logic, programming, and type systems(30), Advanced Topology and Set Theory(29), Logic, Reasoning, and Knowledge(28)
Publications269 total
Bollettino dell Unione Matematica Italiana·2025Open Access
Journal of Algebra·2025· 2 cited
The Review of Symbolic Logic·2025Open Access
2023
2023
2023
page 1 of 14Next →
Frequent Co-authors
Thomas Müller(9), Ad Vos(9), Andreas Neubert(6), Christian Kaiser(5), Antje Kretzschmar(5), Steffen Ortmann(5), Peter F. Stadler(4), Davide Rinaldi(4), Thomas Selhorst(4), Douglas Bridges(4), Conrad M. Freuling(4), Ivo L. Hofacker(3), Manfred Eigen(3), Adriaan Vos(3), E. Pommerening(3), Elisa Eggerbauer(3), Stefan Finke(3), Walter Fontana(2), Thomas Müller(2), Daniel Wessel(2)