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

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

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Blanc, Regis ; Henzinger, Thomas A. ; Hottelier, Thibaud ; Kovacs, Laura ABC: Algebraic Bound Computation for LoopsKonferenzbeitrag Inproceedings2010