On Applications of Decidable Object-Oriented Type Theory

アイテム詳細

登録内容を編集ファイル形式で保存

On Applications of Decidable Object-Oriented Type Theory

Fischmann, M. (1999). On Applications of Decidable Object-Oriented Type Theory. Master Thesis, Universität des Saarlandes, Saarbrücken.

Item is 公開

表示: 非表示:

アイテムのパーマリンク: https://hdl.handle.net/11858/00-001M-0000-000F-3671-4 版のパーマリンク: https://hdl.handle.net/11858/00-001M-0000-0024-AD08-8

資料種別: 学位論文

表示:

非表示:

作成者:
Fischmann, Matthias¹, 著者

所属:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045

非表示:

言語: deu - German

日付: 修正: 2010-03-12受理: 1999出版: 1999

出版の状態: 出版

ページ: -

出版情報: Saarbrücken : Universität des Saarlandes

目次: -

査読: -

識別子（DOI, ISBNなど）: eDoc: 519754
その他: Local-ID: C1256104005ECAFC-F347ECAE6D8BD769C125688D0041F716-Fischmann-Diplom99

学位: 修士号 (Master)