Login / Signup
Oliver Garbe
Publication Activity (10 Years)
Years Active: 2012-2012
Publications (10 Years): 0
Top Topics
Databases
Classical Logic
Multiple Types
Top Venues
ITRS
</>
Publications
</>
Boris Düdder
,
Oliver Garbe
,
Moritz Martens
,
Jakob Rehof
,
Pawel Urzyczyn
Using Inhabitation in Bounded Combinatory Logic with Intersection Types for Composition Synthesis.
ITRS
(2012)