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

Book title Buchtitel
Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
 
 
Publisher Herausgeber
LNCS
 
Place of publishing Erscheinungsort
9450
 
DOI
10.1007/978-3-662-48899-7
 
Series Schriftenreihe
Lecture Notes in Computer Science
 

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Ahrendt, Wolfgang ; Kovacs, Laura ; Robillard, Simon Reasoning About Loops Using Vampire in KeYKonferenzbeitrag Inproceedings 2015