Folgen
Christoph Kreitz
Christoph Kreitz
Zugehörigkeit unbekannt
Bestätigte E-Mail-Adresse bei cs.uni-potsdam.de - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Theory of representations
C Kreitz, K Weihrauch
Theoretical computer science 38, 35-53, 1985
1831985
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
1801999
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
1232000
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
932001
The Nuprl open logical environment
SF Allen, RL Constable, R Eaton, C Kreitz, L Lorigo
International Conference on Automated Deduction, 170-176, 2000
852000
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
J. Univers. Comput. Sci. 5 (3), 88-112, 1999
671999
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
662003
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
631987
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
602001
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
581996
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 connection based proof method for intuitionistic logic
J Otten, C Kreitz
International Workshop on Theorem Proving with Analytic Tableaux and Related …, 1995
551995
A proof environment for the development of group communication systems
C Kreitz, M Hayden, J Hickey
International Conference on Automated Deduction, 317-332, 1998
491998
On transforming intuitionistic matrix proofs into standard-sequent proofs
S Schmitt, C Kreitz
International Workshop on Theorem Proving with Analytic Tableaux and Related …, 1995
471995
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, 10, 2002
402002
Program synthesis
C Kreitz
Automated Deduction—A Basis for Applications, 105-134, 1998
401998
Converting non-classical matrix proofs into sequent-style systems
S Schmitt, C Kreitz
International Conference on Automated Deduction, 418-432, 1996
391996
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20