Datensatz

DATENSATZ AKTIONENEXPORT

Zur Ablage hinzufügen

Lokale TagsFreigabegeschichteDetailsÜbersicht

Solving Simplificating Ordering Constraints

Johann, P., & Socher-Ambrosius, R. (1994). Solving Simplificating Ordering Constraints. In J.-P. Jouannaud (Ed.), Proceedings of the 1st International Conference on Constraints in Computational Logics (CCL'94) (pp. 352-367). Berlin, Germany: Springer.

Item is Freigegeben

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:

Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-ADA4-9 Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-ADA5-7

Genre: Konferenzbeitrag

Dateien

einblenden: Dateien

Externe Referenzen

Urheber

ausblenden:

Urheber:
Johann, Patricia, Autor
Socher-Ambrosius, Rolf¹, Autor

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

Inhalt

Details

ausblenden:

Sprache(n): eng - English

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

Publikationsstatus: Erschienen

Seiten: -

Ort, Verlag, Ausgabe: Berlin, Germany : Springer

Inhaltsverzeichnis: -

Art der Begutachtung: -

Identifikatoren: eDoc: 519566
Anderer: Local-ID: C1256104005ECAFC-9024EA563BBB599FC1256144006236ED-JohannSocher-Ambrosius93

Art des Abschluß: -

Veranstaltung

ausblenden:

Titel: Untitled Event

Veranstaltungsort: Munich, Germany

Start-/Enddatum: 1994

Entscheidung

Projektinformation

Quelle 1

ausblenden:

Titel: Proceedings of the 1st International Conference on Constraints in Computational Logics (CCL'94)

Genre der Quelle: Konferenzband

Urheber:
Jouannaud, Jean-Pierre, Herausgeber

Affiliations:
-

Ort, Verlag, Ausgabe: Berlin, Germany : Springer

Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 352 - 367 Identifikator: -

Quelle 2

ausblenden:

Titel: Lecture Notes in Artificial Intelligence

Genre der Quelle: Reihe

Urheber:

Affiliations:

Ort, Verlag, Ausgabe: -

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