Datensatz

DATENSATZ AKTIONENEXPORT

Zur Ablage hinzufügen

Lokale TagsFreigabegeschichteDetailsÜbersicht

Solving Undecidable Problems in the Theory of Real Numbers and Hybrid Systems

Ratschan, S. (2005). Solving Undecidable Problems in the Theory of Real Numbers and Hybrid Systems. In Algorithmic Algebra and Logic; Conference in Honor of the 60th Birthday of Volker Weispfenning (pp. 213-216). Norderstedt, Germany: Books on Demand GmbH.

Item is Freigegeben

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:

Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-27B7-7 Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-27B8-5

Genre: Konferenzbeitrag

Dateien

einblenden: Dateien

Externe Referenzen

Urheber

ausblenden:

Urheber:
Ratschan, Stefan¹, Autor
Dolzmann, Andreas, Herausgeber
Seidl, Andreas, Herausgeber
Sturm, Thomas, Herausgeber

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

Inhalt

Details

ausblenden:

Sprache(n): eng - English

Datum: Geändert: 2006-06-09Erschienen: 2005

Publikationsstatus: Erschienen

Seiten: -

Ort, Verlag, Ausgabe: Norderstedt, Germany : Books on Demand GmbH

Inhaltsverzeichnis: -

Art der Begutachtung: -

Identifikatoren: eDoc: 279078
Anderer: Local-ID: C1256104005ECAFC-E272055E00D1C519C1256FE20052073A-Ratschan2005b

Art des Abschluß: -

Veranstaltung

ausblenden:

Titel: Untitled Event

Veranstaltungsort: Passau, Germany

Start-/Enddatum: 2005-04-13

Entscheidung

Projektinformation

Quelle 1

ausblenden:

Titel: Algorithmic Algebra and Logic; Conference in Honor of the 60th Birthday of Volker Weispfenning

Genre der Quelle: Konferenzband

Urheber:

Affiliations:

Ort, Verlag, Ausgabe: Norderstedt, Germany : Books on Demand GmbH

Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 213 - 216 Identifikator: ISBN: 3-8334-2669-1