English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
 
 
DownloadE-Mail
  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

Files

show Files

Locators

show

Creators

show
hide
 Creators:
Fischmann, Matthias1, Author           
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Content

show

Details

show
hide
Language(s): deu - German
 Dates: 2010-03-1219991999
 Publication Status: Issued
 Pages: -
 Publishing info: Saarbrücken : Universität des Saarlandes
 Table of Contents: -
 Rev. Type: -
 Identifiers: eDoc: 519754
Other: Local-ID: C1256104005ECAFC-F347ECAE6D8BD769C125688D0041F716-Fischmann-Diplom99
 Degree: Master

Event

show

Legal Case

show

Project information

show

Source

show