Computational issues in calculi of partial inductive definitions

Thumbnail Image

Date

1995

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

Keywords

Datorer Databehandling Allmänt

Citation

URI

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

ISBN

91-7197-113-0

Part of the series

Articles

Department

Datalogi

Defence location

Opponent

Collections

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

Endorsement

Review

Supplemented By

Referenced By