Login / Signup
Marcin Benke
ORCID
Publication Activity (10 Years)
Years Active: 1993-2016
Publications (10 Years): 1
Top Topics
First Order Logic
Functional Programs
Natural Deduction
Horn Clauses
Top Venues
CS&P
CoRR
FSCD
ITRS
</>
Publications
</>