Login / Signup
Frantisek Farka
ORCID
Publication Activity (10 Years)
Years Active: 2016-2022
Publications (10 Years): 11
Top Topics
Programming Language
Sets Of Probability Measures
Theorem Prover
Propositional Calculus
Top Venues
CoRR
LOPSTR
Proc. ACM Program. Lang.
PADL
</>
Publications
</>