Thema der Antrittsvorlesung: Transformation logischer Systeme

Local TagsRelease HistoryDetailsSummary

Thema der Antrittsvorlesung: Transformation logischer Systeme

Ohlbach, H. J. (1993). Thema der Antrittsvorlesung: Transformation logischer Systeme. Habilitation Thesis, Universität des Saarlandes, Saarbrücken.

Item is Released

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-ADBB-A Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-AC34-C

Genre: Thesis

show

show

hide

Creators:
Ohlbach, Hans Jürgen¹, Author

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

show

show

hide

Language(s): eng - English

Dates: Modified: 2010-03-12Accepted: 1993-12-17Date issued: 1993

Publication Status: Issued

Pages: -

Publishing info: Saarbrücken : Universität des Saarlandes

Table of Contents: -

Rev. Type: -

Identifiers: eDoc: 519801
Other: Local-ID: C1256104005ECAFC-4453007D9BC5D30BC1256A24004CC807-OhlbachHabil1993

Degree: Habilitation

show

show

show

show