Login / Signup
Alexander V. Lyaletski
ORCID
Publication Activity (10 Years)
Years Active: 1999-2020
Publications (10 Years): 5
Top Topics
Classical Logic
Automated Theorem Proving
Classical First Order Logic
Horn Clauses
Top Venues
ICTERI
J. Formaliz. Reason.
IT&I
SYNASC
</>
Publications
</>