Logic for Programming, Artificial Intelligence, and Reasoning : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
Logic for Programming, Artificial Intelligence, and Reasoning : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
 
ISBN
9783662488997
 
Editor Herausgeber_in
 
Publisher Herausgeber
Springer Berlin
Fiji Islands
 
Place of publishing Erscheinungsort
Heidelberg
 
DOI
10.1007/978-3-662-48899-7
 
Series Schriftenreihe
Lecture Notes in Computer Science
 
Volume Band
9450
 

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