Eine Beobachtungs-Logik für modulare Sprachen

アイテム詳細

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

一時保存へ追加

タグ情報を表示リリース履歴を表示詳細要約

Eine Beobachtungs-Logik für modulare Sprachen

Zeyer, J. (1997). Eine Beobachtungs-Logik für modulare Sprachen. PhD Thesis, Universität des Saarlandes, Saarbrücken.

Item is 公開

表示: 非表示:

アイテムのパーマリンク: https://hdl.handle.net/11858/00-001M-0000-000F-39DC-2 版のパーマリンク: https://hdl.handle.net/11858/00-001M-0000-0024-ACFA-E

資料種別: 学位論文

表示:

非表示:

作成者:
Zeyer, Jörg¹, 著者

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

非表示:

言語: eng - English

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

出版の状態: 出版

ページ: -

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

目次: -

査読: -

識別子（DOI, ISBNなど）: eDoc: 519808
その他: Local-ID: C1256104005ECAFC-0FBA3F6E1B6FBC4EC1256A38004C7E98-ZeyerDiss1997

学位: 博士号 (PhD)