Login / Signup
Heitor Maranhão
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 1
Top Topics
Information Extraction
General Purpose
Program Synthesis
Conceptual Model
Top Venues
Inf. Process. Lett.
</>
Publications
</>
Alexandre Mota
,
Juliano Iyoda
,
Heitor Maranhão
Program synthesis by model finding.
Inf. Process. Lett.
116 (11) (2016)