Computational issues in calculi of partial inductive definitions

Universitet

Göteborgs universitet/University of Gothenburg

Institution

Datalogi

URL:

http://hdl.handle.net/2077/12316

Samlingar

Doctoral Theses from University of Gothenburg / Doktorsavhandlingar från Göteborgs universitet

Datum

1995

Författare

Kreuger, Per, 1956-

Nyckelord

Datorer Databehandling Allmänt

Publikationstyp

Doctoral thesis

ISBN

91-7197-113-0

Metadata

Visa fullständig post