Cornelia Pusch und Wam - Info zur Person

(1 - 7 von 7

)

Projects - Isabelle Community Wiki

isabelle.in.tum.de

Projects. From Isabelle Community Wiki. Jump to: navigation, search Cornelia Pusch presents some refinement steps towards the Warren Abstract Machine (WAM).

Programming Languages and Systems: 9th European Symposium on...

books.google.ae

Cornelia Pusch. Verification of Compiler …ctness for the WAM. In J. von Wright, J. Grundy, and J. Harrison, editors, Theorem Proving in Higher Order Logics ...

CCL Bibliography 1996

www.ps.uni-saarland.de

12 Mar Cornelia Pusch. Verification of Compiler …ctness for the WAM . In J. von Wright J. Grundy J. Harrison, editor, Theorem Proving in Higher ...

Verification of compiler …ctness for the WAM | SpringerLink

link.springer.com

Authors. Cornelia Pusch (1). Author Affiliations. 1. Fakultät für Informatik, Technische Universität MünchenMünchen, Germany ...

Participation Call: TPHOLs'96 - Theorem Proving in Higher Order Logics

www.cis.upenn.edu

... Laibinis (TUCS, Turku) Lunch Session 3 Verification of compiler …ctness for the WAM Cornelia Pusch (TU Munchen) Applying the composition ...

Verification of compiler …ctness for the WAM

www.infona.pl

Verification of compiler …ctness for the WAM. more. COLLAPSE. Cornelia Pusch · Details · Contributors · Bibliography · Quotations · Similar · Collections ...

Bibliography on Logical Frameworks

www.cs.cmu.edu

Cornelia Pusch. Verification of compiler …ctness for the WAM. In J. Wright, J. Grundy, and J. Harrison, editors, Proceedings of the 9th International Conference

Alle Infos zum Namen "Cornelia Pusch"

Verwandte Suchanfragen zu Cornelia Pusch

Gerwin Klein
Norbert Schirmer
Martin Strecker

Cornelia Jahn
Marie Brauch
Albert Pusch

Conny Pusch

Person "Pusch" (14)
Vorname "Cornelia" (25578)
Name "Pusch" (1002)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Cornelia Pusch und Wam Person-Info