26th InternationalSymposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016)

Event name
26th InternationalSymposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016)
 
Start date
06-09-2017
End date
08-09-2017
 
Location
Edinburgh, UK
Country
Europe
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Morak, Michael ; Bichler, Manuel ; Woltran, Stefan lpopt: A Rule Optimization Tool for Answer Set ProgrammingKonferenzbeitrag Inproceedings 2017