Asian Symposium on Programming Languages and Systems (APLAS)

View Statistics Email Alert RSS Feed

Description

Event name
Asian Symposium on Programming Languages and Systems (APLAS)
 
Start date
11-12-2012
End date
13-12-2012
 
Location
Kyoto, Japan
Country
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Hoder, Kryštof ; Holzer, Andreas ; Kovács, Laura ; Voronkov, Andrei Vinter: A Vampire-Based Tool for InterpolationKonferenzbeitrag Inproceedings 2012