Thema der Antrittsvorlesung: Alte Resultate aus der Automatentheorie

Podelski, Andreas

Local TagsRelease HistoryDetailsSummary

Thema der Antrittsvorlesung: Alte Resultate aus der Automatentheorie

Podelski, A. (1998). Thema der Antrittsvorlesung: Alte Resultate aus der Automatentheorie. Habilitation Thesis, Universität des Saarlandes, Saarbrücken.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-3727-8 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-AD06-C

Genre: Thesis

Files

show Files

Locators

show

Creators

show

hide

Creators:
Podelski, Andreas¹, Author

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

Content

show

Details

show

hide

Language(s): eng - English

Dates: Modified: 2010-03-12Accepted: 1998-09-23Date issued: 1998

Publication Status: Issued

Pages: -

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

Table of Contents: -

Rev. Type: -

Identifiers: eDoc: 519804
Other: Local-ID: C1256104005ECAFC-1DED97605C77B240C1256A2500510C86-PodelskiHabil1998

Degree: Habilitation

Event

show

Legal Case

show

Project information

show

Source

show