Login / Signup
Yatir Halevi
ORCID
Publication Activity (10 Years)
Years Active: 2018-2023
Publications (10 Years): 7
Top Topics
Group Formation
Domain Models
Solving Nonlinear
Correct Classification
Top Venues
Bull. Symb. Log.
Ann. Pure Appl. Log.
J. Symb. Log.
Notre Dame J. Formal Log.
</>
Publications
</>