Computational issues in calculi of partial inductive definitions
By: Per Kreuger
Contributors: Göteborgs universitet
Series: SICS dissertation series -- 19
Publisher: [s.n.]
Published: 1995
Place of publication: [s.l.]
Language: eng
Number of pages: 208
ISBN-13: 9789171971135
Notes: Verdedigd als proefschrift Göteborg.

Thesis (doctoral)--Göteborgs universitet, 1995.