Follow
Christoph Kreitz
Christoph Kreitz
Unknown affiliation
Verified email at cs.uni-potsdam.de - Homepage
Title
Cited by
Cited by
Year
Theory of representations
C Kreitz, K Weihrauch
Theoretical computer science 38, 35-53, 1985
2001985
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
1811999
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
1242000
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
1212006
Model elimination and connection tableau procedures
C KREITZ
982001
The Nuprl Open Logical Environment
SF Allen, RL Constable, R Eaton, C Kreitz, L Lorigo
Automated Deduction-CADE-17: 17th International Conference on Automated …, 2000
882000
The ILTP problem library for intuitionistic logic: release v1. 1
T Raths, J Otten, C Kreitz
Journal of Automated Reasoning 38, 261-271, 2007
802007
Connection-based Theorem Proving in Classical and Non-classical Logics.
C Kreitz, J Otten
J. Univers. Comput. Sci. 5 (3), 88-112, 1999
691999
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
681987
MetaPRL–a modular logical environment
J Hickey, A Nogin, RL Constable, BE Aydemir, E Barzilay, Y Bryukhov, ...
Theorem Proving in Higher Order Logics: 16th International Conference …, 2003
662003
JProver: Integrating connection-based theorem proving into interactive proof assistants
S Schmitt, L Lorigo, C Kreitz, A Nogin
Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena …, 2001
592001
T-string unification: Unifying prefixes in non-classical proof methods
J Otten, C Kreitz
Theorem Proving with Analytic Tableaux and Related Methods: 5th …, 1996
591996
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
582001
A connection based proof method for intuitionistic logic
J Otten, C Kreitz
Theorem Proving with Analytic Tableaux and Related Methods: 4th …, 1995
581995
A proof environment for the development of group communication systems
C Kreitz, M Hayden, J Hickey
Automated Deduction—CADE-15: 15th International Conference on Automated …, 1998
501998
On transforming intuitionistic matrix proofs into standard-sequent proofs
S Schmitt, C Kreitz
Theorem Proving with Analytic Tableaux and Related Methods: 4th …, 1995
481995
A uniform proof procedure for classical and non-classical logics
J Otten, C Kreitz
KI-96: Advances in Artificial Intelligence: 20th Annual German Conference on …, 1996
451996
The Nuprl Proof Development System, Version 5: Reference Manual and User’s Guide
C Kreitz
Department of Computer Science, Cornell University, 10, 2002
402002
Program synthesis
C Kreitz
Automated Deduction—A Basis for Applications: Volume III Applications, 105-134, 1998
401998
Converting non-classical matrix proofs into sequent-style systems
S Schmitt, C Kreitz
Automated Deduction—Cade-13: 13th International Conference on Automated …, 1996
401996
The system can't perform the operation now. Try again later.
Articles 1–20