Christoph Kreitz
Christoph Kreitz
Unknown affiliation
Verified email at cs.uni-potsdam.de - Homepage
Title
Cited by
Cited by
Year
Building reliable, high-performance communication systems from components
X Liu, C Kreitz, R Van Renesse, J Hickey, M Hayden, K Birman, ...
ACM SIGOPS Operating Systems Review 33 (5), 80-92, 1999
1831999
Theory of representations
C Kreitz, K Weihrauch
Theoretical computer science 38, 35-53, 1985
1741985
The Horus and Ensemble projects: Accomplishments and limitations
K Birman, B Constable, M Hayden, J Hickey, C Kreitz, R Van Renesse, ...
Proceedings DARPA Information Survivability Conference and Exposition …, 2000
1212000
Innovations in computational type theory using Nuprl
SF Allen, M Bickford, RL Constable, R Eaton, C Kreitz, L Lorigo, E Moran
Journal of Applied Logic 4 (4), 428-469, 2006
1172006
The Nuprl open logical environment
SF Allen, RL Constable, R Eaton, C Kreitz, L Lorigo
International Conference on Automated Deduction, 170-176, 2000
832000
The ILTP problem library for intuitionistic logic
T Raths, J Otten, C Kreitz
Journal of Automated Reasoning 38 (1), 261-271, 2007
772007
Connection-based theorem proving in classical and non-classical logics
C Kreitz, J Otten
Journal of Universal Computer Science 5 (3), 88-112, 1999
691999
MetaPRL–a modular logical environment
J Hickey, A Nogin, RL Constable, BE Aydemir, E Barzilay, Y Bryukhov, ...
International Conference on Theorem Proving in Higher Order Logics, 287-303, 2003
672003
T-string unification: Unifying prefixes in non-classical proof methods
J Otten, C Kreitz
International Workshop on Theorem Proving with Analytic Tableaux and Related …, 1996
601996
A connection based proof method for intuitionistic logic
J Otten, C Kreitz
International Workshop on Theorem Proving with Analytic Tableaux and Related …, 1995
601995
JProver: Integrating connection-based theorem proving into interactive proof assistants
S Schmitt, L Lorigo, C Kreitz, A Nogin
International Joint Conference on Automated Reasoning, 421-426, 2001
592001
Representations of the real numbers and of the open subsets of the set of real numbers
K Weihrauch, C Kreitz
Annals of Pure and Applied Logic 35, 247-260, 1987
581987
Protocol switching: Exploiting meta-properties
X Liu, R Van Renesse, M Bickford, C Kreitz, R Constable
Proceedings 21st International Conference on Distributed Computing Systems …, 2001
572001
A proof environment for the development of group communication systems
C Kreitz, M Hayden, J Hickey
International Conference on Automated Deduction, 317-332, 1998
511998
On transforming intuitionistic matrix proofs into standard-sequent proofs
S Schmitt, C Kreitz
International Workshop on Theorem Proving with Analytic Tableaux and Related …, 1995
481995
A uniform proof procedure for classical and non-classical logics
J Otten, C Kreitz
Annual Conference on Artificial Intelligence, 307-319, 1996
451996
The Nuprl Proof Development System, Version 5: Reference Manual and User’s Guide
C Kreitz
Department of Computer Science, Cornell University, 2002
392002
Converting non-classical matrix proofs into sequent-style systems
S Schmitt, C Kreitz
International Conference on Automated Deduction, 418-432, 1996
391996
Program synthesis
C Kreitz
Automated Deduction—A Basis for Applications, 105-134, 1998
371998
A multi-level approach to program synthesis
W Bibel, D Korn, C Kreitz, F Kurucz, J Otten, S Schmitt, G Stolpmann
International Workshop on Logic Programming Synthesis and Transformation, 1-27, 1997
321997
The system can't perform the operation now. Try again later.
Articles 1–20