LPAR: Logic for Programming, Artificial Intelligence, and Reasoning 2015

View Statistics Email Alert RSS Feed

Description

Event name
LPAR: Logic for Programming, Artificial Intelligence, and Reasoning 2015
 
Event type
Event for scientific audience
 
Start date
24-11-2015
End date
28-11-2015
 
Location
Suva
Country
Fiji
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Aminof Benjamin - 2015 - On CTL with Graded Path Modalities.pdf.jpgAminof, Benjamin ; Murano, Aniello ; Rubin, Sasha On CTL∗ with Graded Path ModalitiesInproceedings Konferenzbeitrag 2015
2Aminof Benjamin - 2015 - On the expressive power of communication primitives in...pdf.jpgAminof, Benjamin ; Rubin, Sasha ; Zuleger, Florian On the expressive power of communication primitives in parameterised systemsInproceedings Konferenzbeitrag 2015