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

Polynomial size analysis of first-order functions

Shkaravska, Olha; van Kesteren, Ron; van Eekelen, Marko (2007). Polynomial size analysis of first-order functions. Typed Lambda Calculi and Applications: 8th International Conference,TLCA 2007, Paris, France, June 26-28, 2007, Proceedings. Ed. Ronchi Della Rocca, Simona. Berlin: Springer, 351−365. (Lecture Notes in Computer Science; 4583).
publitseeritud konverentsiettekanne
Shkaravska, Olha; van Kesteren, Ron; van Eekelen, Marko
  • Inglise
Typed Lambda Calculi and Applications: 8th International Conference,TLCA 2007, Paris, France, June 26-28, 2007, Proceedings
Ronchi Della Rocca, Simona
Berlin
Springer
0302-9743 (print), 1611-3349 (online)
978-3-540-73227-3
Lecture Notes in Computer Science
4583
2007
351365
Ilmunud
3.1. Artiklid/peatükid lisas loetletud kirjastuste välja antud kogumikes (kaasa arvatud Web of Science Book Citation Index, Web of Science Conference Proceedings Citation Index, Scopus refereeritud kogumikud)
Teadmata

Seotud asutused

Lisainfo

shapely functions; size analysis; type checking; Diophantine equations
ISI Proceedings (ISIP:000247864800025)