Show simple item record

Computational issues in calculi of partial inductive definitions

dc.contributor.authorKreuger, Per, 1956-en
dc.date.accessioned2008-08-11T09:47:09Z
dc.date.available2008-08-11T09:47:09Z
dc.date.issued1995en
dc.identifier.isbn91-7197-113-0en
dc.identifier.urihttp://hdl.handle.net/2077/12316
dc.subjectDatorer Databehandling Allmänten
dc.titleComputational issues in calculi of partial inductive definitionsen
dc.typeTexten
dc.type.svepDoctoral thesisen
dc.gup.originGöteborgs universitet/University of Gothenburgeng
dc.gup.departmentDatalogien
dc.gup.dissdbid2493en
dc.gup.dissdb-impressumGöteborg: Chalmers tekniska högsk., 1995en
dc.gup.dissdb-fakultetMNF


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record