Statistics
Publications
1
Citations
11
H-Index
1
Active since
2016
Affiliations
University of Oxford(Current)
Saguy Benaim is an author at University of Oxford specializing in computability theory, satisfiability, and theory of computation.
Publications per year
2016–2016
1
1
Complexity of Two-Variable Logic on Finite Trees
Saguy Benaim, Michael Benedikt, Witold Charatonik et al. · ACM Transactions on Computational Logic · 2016 · 11 citations
1–1 of 1