Set Constraints with Intersection

Charatonik, Witold; Podelski, Andreas

Lokale TagsFreigabegeschichteDetailsÜbersicht

Set Constraints with Intersection

Charatonik, W., & Podelski, A. (1997). Set Constraints with Intersection. In G. Winskel (Ed.), Proceedings of the Twelfth Annual IEEE Symposium on Logic in Computer Science (LICS-97) (pp. 362-372). New York, USA: IEEE.

Item is Freigegeben

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:

Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-3A0F-8 Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-3A10-2

Genre: Konferenzbeitrag

ausblenden:

Urheber:
Charatonik, Witold¹, Autor
Podelski, Andreas¹, Autor

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

Inhalt

einblenden:

Details

einblenden:

ausblenden:

Sprache(n): eng - English

Datum: Geändert: 2010-03-12Erschienen: 1997

Publikationsstatus: Erschienen

Seiten: -

Ort, Verlag, Ausgabe: New York, USA : IEEE

Inhaltsverzeichnis: -

Art der Begutachtung: -

Identifikatoren: eDoc: 519648
Anderer: Local-ID: C1256104005ECAFC-FDA31D42BEFBE8AFC1256481004CB53D-CharatonikPodelskiLICS97

Art des Abschluß: -

Veranstaltung

einblenden:

ausblenden:

Titel: Untitled Event

Veranstaltungsort: Warsaw, Poland

Start-/Enddatum: 2003-07-08 - 2003-07-12

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:

ausblenden:

Titel: Proceedings of the Twelfth Annual IEEE Symposium on Logic in Computer Science (LICS-97)

Genre der Quelle: Konferenzband

Urheber:
Winskel, Glynn, Herausgeber

Affiliations:
-

Ort, Verlag, Ausgabe: New York, USA : IEEE

Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 362 - 372 Identifikator: -

Datensatz

Basisdaten

Dateien

Externe Referenzen

Urheber

Inhalt

Details

Veranstaltung

Entscheidung

Projektinformation

Quelle 1