Finiteness Analysis

Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

  • Carsten Kehler Holst
Datalogi, terminationsanalyse
OriginalsprogEngelsk
TitelFunctional Programming Languages and Computer Architecture, LNCS, vol.523
UdgivelsesstedBerlin
ForlagSpringer
Publikationsdato1991
Sider473-495
StatusUdgivet - 1991

ID: 291845