17th International Conference on Logic for Programming, Arti cial Intelligence and Reasoning (LPAR-17)

Event name
17th International Conference on Logic for Programming, Arti cial Intelligence and Reasoning (LPAR-17)
 
Event type
Event for scientific audience
 
Start date
10-10-2010
End date
15-10-2010
 
Location
Yogyakarta
Country
Indonesia
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Henzinger, Thomas A. ; Hottelier, Thibaud ; Kovacs, Laura ; Rybalchenko, Andrey Aligators for Arrays (Tool Paper)Konferenzbeitrag Inproceedings2010