Constraint Solving for Interpolation

Rybalchenko, Andrey; Sofronie-Stokkermans, Viorica

Lokale TagsFreigabegeschichteDetailsÜbersicht

Constraint Solving for Interpolation

Rybalchenko, A., & Sofronie-Stokkermans, V.(2009). Constraint Solving for Interpolation (Local-ID: C125716C0050FB51-7BE33255DCBCF2AAC1257650004B7C65-Rybalchenko-Sofronie-Stokkermans-2009).

Item is Freigegeben

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:

Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-1A4A-6 Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-BB84-E

Genre: Bericht

ausblenden:

Urheber:
Rybalchenko, Andrey, Autor
Sofronie-Stokkermans, Viorica¹, Autor

Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545

Inhalt

einblenden:

Details

einblenden:

ausblenden:

Sprache(n): eng - English

Datum: Geändert: 2009-10-15Erschienen: 2009

Publikationsstatus: Erschienen

Seiten: -

Ort, Verlag, Ausgabe: -

Inhaltsverzeichnis: -

Art der Begutachtung: -

Identifikatoren: eDoc: 521091
Anderer: Local-ID: C125716C0050FB51-7BE33255DCBCF2AAC1257650004B7C65-Rybalchenko-Sofronie-Stokkermans-2009

Art des Abschluß: -

Veranstaltung

einblenden:

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle

einblenden:

Datensatz

Basisdaten

Dateien

Externe Referenzen

Urheber

Inhalt

Details

Veranstaltung

Entscheidung

Projektinformation

Quelle