*00136132
*00520250613140406.0
*007cr
*007ta
*008090804s1995    no            000 0 eng d
*00901157cam a2200289 c 4500
*019  $bl
*020  $a8273681149
*035  $a(EXLNZ-47BIBSYS_NETWORK)999525011474702201
*035  $a(NO-LaBS)13831355(bibid)
*035  $a(NO-TrBIB)092852661
*035  $a(NO-TrBIB)952501147
*035  $a952501147-47bibsys_network
*040  $aNO-TrBIB$bnob$ekatreg
*080  $a004
*1001 $aKristoffersen, Bjørn$d1963-$0(NO-TrBIB)90867586$_19301400
*24510$aTermination of curryfied rewrite systems$cBjørn Kristoffersen
*260  $aOslo$bUniversitetet i Oslo, Institutt for informatikk$c1995
*300  $a24 s.
*4901 $aResearch report / Universitetet i Oslo, Institutt for Informatikk$v203
*533  $aElektronisk reproduksjon$b[Norge]$cNasjonalbiblioteket Digital$d2009-06-25
*588  $aKatalogisert etter omslag
*653  $aomskriving$aprogrammering$_19301500
*830 0$aResearch report (Universitetet i Oslo. Institutt for informatikk : trykt utg.)$x0806-3036$v203$w998010812114702201$_17153800
*85641$3Fulltekst$uhttps://urn.nb.no/URN:NBN:no-nb_digibok_2009062504082$yNettbiblioteket$zDigital representasjon
*901  $a80
*999  $aoai:nb.bibsys.no:999525011474702202$b2021-11-14T19:42:48Z$z999525011474702202
^