Deutsch
 
Benutzerhandbuch Datenschutzhinweis Impressum Kontakt
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
  Automated Program Transformation Through Proof Transformation

Madden, P. (1992). Automated Program Transformation Through Proof Transformation. In D. Kapur (Ed.), Proceedings of the 11th International Conference on Automated Deduction (CADE-11) (pp. 446-460). Heidelberg, Germany: Springer.

Item is

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: http://hdl.handle.net/11858/00-001M-0000-0014-AE0E-8 Versions-Permalink: http://hdl.handle.net/11858/00-001M-0000-0014-AE0F-6
Genre: Konferenzbeitrag

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Madden, Peter1, Autor              
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Inhalt

einblenden:

Details

einblenden:
ausblenden:
Sprache(n): eng - Englisch
 Datum: 2010-03-121992
 Publikationsstatus: Im Druck publiziert
 Seiten: -
 Ort, Verlag, Ausgabe: Heidelberg, Germany : Springer
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 519470
Anderer: Local-ID: C1256104005ECAFC-11AF6F5F2EAAD538C1256290004D5E14-Madden-1992
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: Untitled Event
Veranstaltungsort: Saratoga Springs, NY
Start-/Enddatum: 1992

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Proceedings of the 11th International Conference on Automated Deduction (CADE-11)
Genre der Quelle: Konferenzband
 Urheber:
Kapur, Deepak1, Herausgeber            
Affiliations:
1 Programming Logics, MPI for Informatics, Max Planck Society, ou_40045            
Ort, Verlag, Ausgabe: Heidelberg, Germany : Springer
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 446 - 460 Identifikator: -

Quelle 2

einblenden:
ausblenden:
Titel: Lecture Notes in Artificial Intelligence
Genre der Quelle: Reihe
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: -
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: - Identifikator: -