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

Book title Buchtitel
Proceedings of the 17th International Conference on Logic for Programming, Arti cial Intelligence and Reasoning (LPAR-17)
 
Publisher Herausgeber
Springer LNCS 6397
 
Place of publishing Erscheinungsort
Springer
 

Publications Publikationen

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Henzinger, Thomas A. ; Hottelier, Thibaud ; Kovacs, Laura ; Rybalchenko, Andrey Aligators for Arrays (Tool Paper)Konferenzbeitrag Inproceedings2010