*001270495
*00520230312193453.0
*007cr
*007ta
*008150528s1991    no#           000 0 eng d
*00901402cam a2200349 c 4500
*015  $a9103352$2nbf
*019  $bl
*020  $a8273680711$qh.
*035  $a(EXLNZ-47BIBSYS_NETWORK)999203936164702201
*035  $a(NO-LaBS)14623181(bibid)
*035  $a(NO-TrBIB)114513155
*035  $a(NO-TrBIB)920393616
*035  $a920393616-47bibsys_network
*040  $aNO-TrBIB$bnob$ekatreg
*044  $cno
*08274$a005.1$qNO-OsNB$24/nor
*1001 $aLysne, Olav$0(NO-TrBIB)90235122$_23564600
*24510$aTerm rewriting techniques for systems based on generator induction$cby Olav Lysne
*260  $aOslo$bDepartment of Informatics, University of Oslo$c1991
*300  $a94 s.$bfig.$c30 cm
*4901 $aResearch report / Department of Informatics, University of Oslo$v163
*502  $aAvhandling (Dr. scient.) - Universitetet i Oslo, 1991
*533  $aElektronisk reproduksjon$b[Norge]$cNasjonalbiblioteket Digital$d2011-09-15
*650 7$aInformatikk$0(NO-TrBIB)REAL000964$2noubomn$_192409100
*653  $adoktoravhandlinger$ainformatikk$aabstrakt$aalgebra$_53286700
*830 0$aResearch report (Universitetet i Oslo. Institutt for informatikk : trykt utg.)$x0806-3036$v163$w998010812114702201$_17153800
*85641$3Fulltekst$uhttps://urn.nb.no/URN:NBN:no-nb_digibok_2011091506042$yNettbiblioteket$zDigital representasjon
*901  $a80
*913  $aNorbok$bNB
*917  $ad
*999  $aoai:nb.bibsys.no:999203936164702202$b2021-11-14T20:06:21Z$z999203936164702202
^