24
Publications
617
Citations
15
H-Index
1983
Active since
Andrea Sorbi is an author at University of Siena specializing in automated reasoning, engineering, and discrete mathematics.
Top concepts
EngineeringAutomated ReasoningDiscrete MathematicsComputer ScienceLanguageSemanticsFormal MethodsComputational ComplexityHumanitiesLinguistics
Publications per year
1983–2020
24
24
UNIVERSAL COMPUTABLY ENUMERABLE EQUIVALENCE RELATIONS
Uri Andrews, Steffen Lempp, Joseph S. Miller et al. · Journal of Symbolic Logic · 2014 · 61 citations
Rows per page
1–5 of 24