Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
Zur Ablage hinzufügen
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  Inclusion Constraints over Non-empty Sets of Trees

Müller, M., Niehren, J., & Podelski, A. (1997). Inclusion Constraints over Non-empty Sets of Trees. In M. Bidoit, & M. Dauchet (Eds.), TAPSOFT '97: Theory and Practice of Software Development (pp. 345-356). Berlin, Germany: Springer.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-39E3-0 Versions-Permalink: https://hdl.handle.net/21.11116/0000-000E-29F1-4
Genre: Konferenzbeitrag

Externe Referenzen

einblenden:
ausblenden:
externe Referenz:
https://rdcu.be/dvxFz (Verlagsversion)
Beschreibung:
-
OA-Status:
Keine Angabe

Urheber

einblenden:
ausblenden:
 Urheber:
Müller, Martin1, Autor
Niehren, Joachim1, Autor
Podelski, Andreas2, Autor           
Affiliations:
1External Organizations, ou_persistent22              
2Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Inhalt

einblenden:

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2010-03-121997
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 519571
Anderer: Local-ID: C1256104005ECAFC-957169ACEB7BD510C125648A005A8390-MNP-Ines
BibTex Citekey: Podelski-et-al_TAPSOFT97
DOI: 10.1007/BFb0030609
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: 7th International Conference on Theory and Practice of Software Development
Veranstaltungsort: Lille, France
Start-/Enddatum: 1997-04-14 - 1997-04-18

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: TAPSOFT '97: Theory and Practice of Software Development
  Untertitel : 7th International Conference CAAP/FASE
  Kurztitel : TAPSOFT 1997
Genre der Quelle: Konferenzband
 Urheber:
Bidoit, Michel1, Herausgeber
Dauchet, Max1, Herausgeber
Affiliations:
1 External Organizations, ou_persistent22            
Ort, Verlag, Ausgabe: Berlin, Germany : Springer
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 345 - 356 Identifikator: ISBN: 978-3-540-62781-4

Quelle 2

einblenden:
ausblenden:
Titel: Lecture Notes in Computer Science
  Kurztitel : LNCS
Genre der Quelle: Reihe
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: -
Seiten: - Band / Heft: 1214 Artikelnummer: - Start- / Endseite: - Identifikator: -