Login / Signup
Ales Bizjak
ORCID
Publication Activity (10 Years)
Years Active: 2013-2020
Publications (10 Years): 16
Top Topics
Lambda Calculus
Reasoning Systems
Programming Language
Markov Chain
Top Venues
CoRR
FoSSaCS
MFPS
Log. Methods Comput. Sci.
</>
Publications
</>