Unification Using Dynamic Sorts

Local TagsRelease HistoryDetailsSummary

Unification Using Dynamic Sorts

Graf, P. (1992). Unification Using Dynamic Sorts. Master Thesis, Universität des Saarlandes, Saarbrücken.

Item is Released

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-AE25-0 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-AC33-E

Genre: Thesis

show

show

hide

Creators:
Graf, Peter¹, Author

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

show

show

hide

Language(s): eng - English

Dates: Modified: 2010-03-12Accepted: 1992Date issued: 1992

Publication Status: Issued

Pages: -

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

Table of Contents: -

Rev. Type: -

Identifiers: eDoc: 519806
Other: Local-ID: C1256104005ECAFC-EA6ED6878CC93CBFC1256A340054F605-GrafDipl1992

Degree: Master

show

show

show

show