Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
Zur Ablage hinzufügen
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  Is Logic Effective for Analyzing C Programs?

Hillenbrand, T., Podelski, A., & Topić, D. (2002). Is Logic Effective for Analyzing C Programs? In Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi (pp. 27-30). Saarbrücken, Germany: Max-Planck-Institut für Informatik.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-2FC8-5 Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-2FCA-1
Genre: Konferenzbeitrag

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Hillenbrand, Thomas1, 2, 3, Autor           
Podelski, Andreas3, Autor           
Topić, Dalibor4, Autor
Charatonik, Witold3, Herausgeber           
Ganzinger, Harald3, Herausgeber           
Affiliations:
1International Max Planck Research School, MPI for Informatics, Max Planck Society, ou_1116551              
2Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              
3Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              
4Max Planck Society, ou_persistent13              

Inhalt

einblenden:

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2003-09-012002
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 202108
Anderer: Local-ID: C1256104005ECAFC-87105CCDA5C457F0C1256B9C00512EAA-HPT02
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi
Veranstaltungsort: Saarbrücken
Start-/Enddatum: 2002-03-04 - 2002-03-07

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi
Genre der Quelle: Konferenzband
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: Saarbrücken, Germany : Max-Planck-Institut für Informatik
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 27 - 30 Identifikator: -

Quelle 2

einblenden:
ausblenden:
Titel: MPI Research Report
Genre der Quelle: Reihe
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: -
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: - Identifikator: -