Etiqueta de registo: 00000nx a2200025 45
001 1582824
100 ## $a20140811apory0103 ba0
102 ## $aPT
152 ## $aRPC
200 #1 $aSimões,$bHugo Miguel Oliveira Romualdo
801 #0 $aPT$bBN
810 ## $aAmortised resource analysis for lazy functional programs
830 ## $aDout. em Ciência de Computadores
ver registos bibliográficos associados