See veebileht kasutab küpsiseid kasutaja sessiooni andmete hoidmiseks. Veebilehe kasutamisega nõustute ETISe kasutustingimustega. Loe rohkem
Olen nõus

Automatic certification of heap consumption

Beringer, L.; Hofmann, M.; Momigliano, A.; Shkaravska, O. (2005). Automatic certification of heap consumption. Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings. Ed. Baader,F.; Voronkov,A. Springer, 347−362. (Lecture Notes in Computer Science; 3452). DOI: 10.1007/b106931.
publitseeritud konverentsiettekanne
Beringer, L.; Hofmann, M.; Momigliano, A.; Shkaravska, O.
  • Inglise
Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings
Baader,F.; Voronkov,A.
Springer
0302-9743
3-540-25236-3
Lecture Notes in Computer Science
3452
2005
347362
Ilmunud
1.1. Teadusartiklid, mis on kajastatud Web of Science andmebaasides Science Citation Index Expanded, Social Sciences Citation Index, Arts & Humanities Citation Index, Emerging Sources Citation Index ja/või andmebaasis Scopus (v.a. kogumikud)
Jah
roheline
WOS

Viited terviktekstile

doi.org/10.1007/b106931

Lisainfo

https://hal.inria.fr/inria-00000481/file/FontaineRaniseZarba.pdf
Science Citation Index; Scopus