Computational issues in calculi of partial inductive definitions
University
Göteborgs universitet/University of Gothenburg
Institution
Datalogi
Date
1995Author
Kreuger, Per, 1956-
Keywords
Datorer Databehandling Allmänt
Publication type
Doctoral thesis
ISBN
91-7197-113-0