Automated Program Transformation Through Proof Transformation

Madden, Peter

Datensatz

DATENSATZ AKTIONENEXPORT

Zur Ablage hinzufügen

Lokale TagsFreigabegeschichteDetailsÜbersicht

Freigegeben

Konferenzbeitrag

Automated Program Transformation Through Proof Transformation

MPG-Autoren

/persons/resource/persons44961

Madden, Peter
Programming Logics, MPI for Informatics, Max Planck Society;

Externe Ressourcen

Es sind keine externen Ressourcen hinterlegt

Volltexte (beschränkter Zugriff)

Für Ihren IP-Bereich sind aktuell keine Volltexte freigegeben.

Volltexte (frei zugänglich)

Es sind keine frei zugänglichen Volltexte in PuRe verfügbar

Ergänzendes Material (frei zugänglich)

Es sind keine frei zugänglichen Ergänzenden Materialien verfügbar

Zitation

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.

Zitierlink: https://hdl.handle.net/11858/00-001M-0000-0014-AE0E-8

Zusammenfassung

Es ist keine Zusammenfassung verfügbar