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

View Statistics Email Alert RSS Feed

Description

Event name
26th InternationalSymposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016)
 
Event type
Event for scientific audience
 
Start date
06-09-2017
End date
08-09-2017
 
Location
Edinburgh
Country
United Kingdom
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

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