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

View Statistics Email Alert RSS Feed

Book details Buch-Details

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

Publications Publikationen


Treffer 1-1 von 1 (Suchzeit: 0.001 Sekunden).

VorschauAutor_in(nen)TitelDokumenttypErscheinungs­datum
1Blanc, Regis ; Henzinger, Thomas A. ; Hottelier, Thibaud ; Kovacs, Laura ABC: Algebraic Bound Computation for LoopsKonferenzbeitrag Inproceedings2010