Login / Signup
Tudor Protopopescu
ORCID
Publication Activity (10 Years)
Years Active: 2013-2023
Publications (10 Years): 5
Top Topics
Face Verification
Modal Logic
Interval Valued
Theorem Prover
Top Venues
Log. J. IGPL
J. Log. Comput.
LFCS
Rev. Symb. Log.
</>
Publications
</>