Transfinite corecursion

Transfinite corecursion

Artikkeli

Nestra, Härmel

Julkaisussa: Nordic journal of computing 12 (2005) : 2, s. 133-156

Tallennettuna:

Kieli

englanti

Luokitus

acmccs D.3.1
acmccs F.3.2
acmccs F.4.1
acmccs I.2.2

Aiheet/asiasanat

corecursion

transfinite semantics

program slicing

Saatavuustiedot

Henkilökuntanäyttö