Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
Zur Ablage hinzufügen
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  A Complete Transformation System for Polymorphic Higher-Order Unification

Hustadt, U. (1992). A Complete Transformation System for Polymorphic Higher-Order Unification. In F. Baader, J. Siekmann, & W. Snyder (Eds.), Proceedings of Sixth International Workshop on Unification (pp. 61-65). Boston, MA: OpenBU.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/21.11116/0000-000E-74AB-F Versions-Permalink: https://hdl.handle.net/21.11116/0000-000E-74AC-E
Genre: Konferenzbeitrag

Externe Referenzen

einblenden:
ausblenden:
externe Referenz:
https://open.bu.edu/ds2/stream/?#/documents/4621/page/1 (Verlagsversion)
Beschreibung:
-
OA-Status:
Keine Angabe

Urheber

einblenden:
ausblenden:
 Urheber:
Hustadt, Ullrich1, Autor           
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Inhalt

einblenden:

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 1992
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: BibTex Citekey: Hustadt92WorkshopUnification
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: Sixth International Workshop on Unification
Veranstaltungsort: Wadern, Germany
Start-/Enddatum: 1992-07-29 - 1992-07-31

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Proceedings of Sixth International Workshop on Unification
  Untertitel : Schloss Dagstuhl, Germany
Genre der Quelle: Konferenzband
 Urheber:
Baader, Franz1, Herausgeber           
Siekmann, Jörg1, Herausgeber
Snyder, Wayne1, Herausgeber
Affiliations:
1 External Organizations, ou_persistent22            
Ort, Verlag, Ausgabe: Boston, MA : OpenBU
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 61 - 65 Identifikator: URI: https://hdl.handle.net/2144/1457