Searching for authors named "Christoph Kreitz" – sorted by Relevance.
56 documents found, showing 1 through 10.
Next 10 →
-
Towards a formal theory of program construction
- … Construction Christoph Kreitz FG Intellektik -- FB Informatik, Technische Hochschule Darmstadt Alexanderstr…
- Cited by 5 (2 self) – Add To MetaCart
-
The representation of program synthesis in higher order logic
- …The Representation of Program Synthesis in Higher Order Logic Christoph Kreitz FG Intellektik…
- Cited by 1 (0 self) – Add To MetaCart
-
Formal reasoning about communication systems I: Embedding ML into type theory
- …Formal Reasoning about Communication Systems I Embedding ML into Type Theory Christoph Kreitz…
- Cited by 13 (9 self) – Add To MetaCart
-
Automated fast-track reconfiguration of group communication systems
- …Automated Fast-Track Reconfiguration of Group Communication Systems Christoph Kreitz Department…
- Cited by 6 (6 self) – Add To MetaCart
-
Deriving Programs that Develop Programs
- …M E T A - S Y N T H E S I S Deriving Programs that Develop Programs Christoph Kreitz \Gamma…
- Cited by 12 (4 self) – Add To MetaCart
-
A Matrix Characterization For Multiplicative Exponential Linear Logic ∗
- …A Matrix Characterization For Multiplicative Exponential Linear Logic ∗ Christoph Kreitz (kreitz…
- Add To MetaCart
-
Formale Methoden der Künstlichen Intelligenz
- …Formale Methoden der Künstlichen Intelligenz Christoph Kreitz Aufgrund der zunehmenden Komplexität…
- Add To MetaCart
-
Under consideration for publication in J. Functional Programming 1 Building Reliable, High-Performance Networks with the Nuprl Proof Development System
- …-Performance Networks with the Nuprl Proof Development System Christoph Kreitz Department of Computer Science, Cornell…
- Add To MetaCart
-
Program synthesis
- …. CHRISTOPH KREITZ PROGRAM SYNTHESIS 1. INTRODUCTION Since almost 30 years software production has to face two…
- Cited by 9 (1 self) – Add To MetaCart
-
Automating inductive Specification Proofs in NuPRL
- …, USA bp@(email omitted); Christoph Kreitz Department of Computer Science Cornell University Ithaca, NY, USA…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
