Search the dblp DataBase
Christoph Kreitz :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Brigitte Pientka , Christoph Kreitz Instantiation of Existentially Quantified Variables in Inductive Specification Proofs. [Citation Graph (0, 0)][DBLP ] AISC, 1998, pp:247-258 [Conf ] Christoph Kreitz Prologue. [Citation Graph (0, 0)][DBLP ] Intellectics and Computational Logic, 2000, pp:1-2 [Conf ] Christoph Kreitz Epilogue. [Citation Graph (0, 0)][DBLP ] Intellectics and Computational Logic, 2000, pp:387- [Conf ] Christoph Kreitz , Jens Otten , Stephan Schmitt , Brigitte Pientka Matrix-based Constructive Theorem Proving. [Citation Graph (0, 0)][DBLP ] Intellectics and Computational Logic, 2000, pp:189-205 [Conf ] Stuart F. Allen , Robert L. Constable , Richard Eaton , Christoph Kreitz , Lori Lorigo The Nuprl Open Logical Environment. [Citation Graph (0, 0)][DBLP ] CADE, 2000, pp:170-176 [Conf ] Daniel S. Korn , Christoph Kreitz Deciding Intuitionistic Propositional Logic via Translation into Classical Logic. [Citation Graph (0, 0)][DBLP ] CADE, 1997, pp:131-145 [Conf ] Dexter Kozen , Christoph Kreitz , Eva Richter Automating Proofs in Category Theory. [Citation Graph (0, 0)][DBLP ] IJCAR, 2006, pp:392-407 [Conf ] Christoph Kreitz , Mark Hayden , Jason Hickey A Proof Environment for the Development of Group Communication Systems. [Citation Graph (0, 0)][DBLP ] CADE, 1998, pp:317-332 [Conf ] Christoph Kreitz , Heiko Mantel , Jens Otten , Stephan Schmitt Connection-Based Proof Construction in Linear Logic. [Citation Graph (0, 0)][DBLP ] CADE, 1997, pp:207-221 [Conf ] Stephan Schmitt , Christoph Kreitz Converting Non-Classical Matrix Proofs into Sequent-Style Systems. [Citation Graph (0, 0)][DBLP ] CADE, 1996, pp:418-432 [Conf ] Stephan Schmitt , Lori Lorigo , Christoph Kreitz , Aleksey Nogin JProver : Integrating Connection-Based Theorem Proving into Interactive Proof Assistants. [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:421-426 [Conf ] Wolfgang Bibel , Daniel S. Korn , Christoph Kreitz , Stephen Schmitt Problem-Oriented Applications of Automated Theorem Proving. [Citation Graph (0, 0)][DBLP ] DISCO, 1996, pp:1-21 [Conf ] Christoph Kreitz , Kung-Kiu Lau , Mario Ornaghi Formal Reasoning about Modules, Reuse and their Correctness. [Citation Graph (0, 0)][DBLP ] FAPR, 1996, pp:384-398 [Conf ] Heiko Mantel , Christoph Kreitz A Matrix Characterization for MELL. [Citation Graph (0, 0)][DBLP ] JELIA, 1998, pp:169-183 [Conf ] Christoph Kreitz The Representation of Program Synthesis in Higher Order Logic. [Citation Graph (0, 0)][DBLP ] GWAI, 1990, pp:171-180 [Conf ] Gerd Neugebauer , Bertram Fronhöfer , Christoph Kreitz XPRTS - An Implementation Tool for Program Synthesis. [Citation Graph (0, 0)][DBLP ] GWAI, 1989, pp:348-357 [Conf ] Jens Otten , Christoph Kreitz A Uniform Proof Procedure for Classical and Non-Classical Logics. [Citation Graph (0, 0)][DBLP ] KI, 1996, pp:307-319 [Conf ] Wolfgang Bibel , Daniel S. Korn , Christoph Kreitz , F. Kurucz , Jens Otten , Stephen Schmitt , G. Stolpmann A Multi-level Approach to Program Synthesis. [Citation Graph (0, 0)][DBLP ] LOPSTR, 1997, pp:1-27 [Conf ] Christoph Kreitz , Jens Otten , Stephan Schmitt Guiding Program Development Systems by a Connection Based Proof Strategy. [Citation Graph (0, 0)][DBLP ] LOPSTR, 1995, pp:137-151 [Conf ] Thierry Boy de la Tour , Christoph Kreitz Building Proofs by Analogy via the Curry-Horward Isomorphism. [Citation Graph (0, 0)][DBLP ] LPAR, 1992, pp:202-213 [Conf ] Xiaoming Liu 0003 , Christoph Kreitz , Robbert van Renesse , Jason Hickey , Mark Hayden , Kenneth P. Birman , Robert L. Constable Building reliable, high-performance communication systems from components. [Citation Graph (0, 0)][DBLP ] SOSP, 1999, pp:80-92 [Conf ] Christoph Kreitz , Brigitte Pientka Matrix-Based Inductive Theorem Proving. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 2000, pp:294-308 [Conf ] Jens Otten , Christoph Kreitz T-String Unification: Unifying Prefixes in Non-classical Proof Methods. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 1996, pp:244-260 [Conf ] Thomas Raths , Jens Otten , Christoph Kreitz The ILTP Library: Benchmarking Automated Theorem Provers for Intuitionistic Logic. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 2005, pp:333-337 [Conf ] Stephan Schmitt , Christoph Kreitz On Transforming Intuitionistic Matrix Proofs into Standard-Sequent Proofs. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 1995, pp:106-121 [Conf ] Stephan Schmitt , Christoph Kreitz Deleting Redundancy in Proof Reconstruction. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 1998, pp:262-276 [Conf ] Christoph Kreitz Automated Fast-Track Reconfiguration of Group Communication Systems. [Citation Graph (0, 0)][DBLP ] TACAS, 1999, pp:104-118 [Conf ] Christoph Kreitz , Klaus Weihrauch Complexity theory on real numbers and functions. [Citation Graph (0, 0)][DBLP ] Theoretical Computer Science, 1983, pp:165-174 [Conf ] Mark Bickford , Christoph Kreitz , Robbert van Renesse , Xiaoming Liu 0003 Proving Hybrid Protocols Correct. [Citation Graph (0, 0)][DBLP ] TPHOLs, 2001, pp:105-120 [Conf ] Jason Hickey , Aleksey Nogin , Robert L. Constable , Brian E. Aydemir , Eli Barzilay , Yegor Bryukhov , Richard Eaton , Adam Granicz , Alexei Kopylov , Christoph Kreitz , Vladimir Krupski , Lori Lorigo , Stephan Schmitt , Carl Witty , Xin Yu MetaPRL - A Modular Logical Environment. [Citation Graph (0, 0)][DBLP ] TPHOLs, 2003, pp:287-303 [Conf ] Brigitte Pientka , Christoph Kreitz Automating Inductive Specification Proofs. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 1999, v:39, n:1-2, pp:189-209 [Journal ] Christoph Kreitz , Stephan Schmitt A Uniform Procedure for Converting Matrix Proofs into Sequent-Style Systems. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 2000, v:162, n:1-2, pp:226-254 [Journal ] Stuart F. Allen , Mark Bickford , Robert L. Constable , Richard Eaton , Christoph Kreitz , Lori Lorigo , E. Moran Innovations in computational type theory using Nuprl. [Citation Graph (0, 0)][DBLP ] J. Applied Logic, 2006, v:4, n:4, pp:428-469 [Journal ] Christoph Kreitz , Heiko Mantel A Matrix Characterization for Multiplicative Exponential Linear Logic. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 2004, v:32, n:2, pp:121-166 [Journal ] Christoph Kreitz Building reliable, high-performance networks with the Nuprl proof development system. [Citation Graph (0, 0)][DBLP ] J. Funct. Program., 2004, v:14, n:1, pp:21-68 [Journal ] Christoph Kreitz , Jens Otten Connection-based Theorem Proving in Classical and Non-classical Logics. [Citation Graph (0, 0)][DBLP ] J. UCS, 1999, v:5, n:3, pp:88-112 [Journal ] Christoph Kreitz , Brigitte Pientka Connection-Driven Inductive Theorem Proving. [Citation Graph (0, 0)][DBLP ] Studia Logica, 2001, v:69, n:2, pp:293-326 [Journal ] Christoph Kreitz , Klaus Weihrauch Theory of Representations. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1985, v:38, n:, pp:35-53 [Journal ] Klaus Weihrauch , Christoph Kreitz Type 2 Computational Complexity of Functions on Cantor's Space. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1991, v:82, n:1, pp:1-18 [Journal ] Xiaoming Liu 0003 , Robbert van Renesse , Mark Bickford , Christoph Kreitz , Robert L. Constable Protocol Switching: Exploiting Meta-Properties. [Citation Graph (0, 0)][DBLP ] ICDCS Workshops, 2001, pp:37-42 [Conf ] Thomas Raths , Jens Otten , Christoph Kreitz The ILTP Problem Library for Intuitionistic Logic. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 2007, v:38, n:1-3, pp:261-271 [Journal ] Search in 0.003secs, Finished in 0.307secs