Christoph Kreitz

Available identifiers

zbMath Open kreitz.christophMaRDI QIDQ229738

List of research outcomes

Publication	Date of Publication	Type
Connection-based proof construction in linear logic	2019-10-01	Paper
Deciding intuitionistic propositional logic via translation into classical logic	2019-10-01	Paper
Formal reasoning about modules, reuse and their correctness	2019-04-29	Paper
Converting non-classical matrix proofs into sequent-style systems	2019-01-15	Paper
T-string unification: Unifying prefixes in non-classical proof methods	2019-01-10	Paper
Nuprl as Logical Framework for Automating Proofs in Category Theory	2012-07-16	Paper
Specifying and Verifying Organizational Security Properties in First-Order Logic	2010-11-22	Paper
Automating Proofs in Category Theory	2009-03-12	Paper
The ILTP problem library for intuitionistic logic	2007-05-04	Paper
Innovations in computational type theory using Nuprl	2007-02-20	Paper
Automated Reasoning with Analytic Tableaux and Related Methods	2006-07-07	Paper
Building reliable, high-performance networks with the Nuprl proof development system	2004-09-27	Paper
A matrix characterization for multiplicative exponential linear logic	2004-08-16	Paper
https://portal.mardi4nfdi.de/entity/Q4790655	2003-02-04	Paper
A uniform procedure for converting matrix proofs into sequent-style systems	2003-01-14	Paper
Connection-driven inductive theorem proving	2002-09-16	Paper
https://portal.mardi4nfdi.de/entity/Q4539627	2002-07-10	Paper
https://portal.mardi4nfdi.de/entity/Q4530465	2002-06-03	Paper
Program synthesis	2001-11-06	Paper
https://portal.mardi4nfdi.de/entity/Q2723417	2001-07-05	Paper
https://portal.mardi4nfdi.de/entity/Q2721203	2001-07-01	Paper
https://portal.mardi4nfdi.de/entity/Q4520768	2001-02-27	Paper
https://portal.mardi4nfdi.de/entity/Q4934147	2000-01-17	Paper
https://portal.mardi4nfdi.de/entity/Q4246968	1999-10-03	Paper
https://portal.mardi4nfdi.de/entity/Q4255510	1999-08-16	Paper
https://portal.mardi4nfdi.de/entity/Q3838818	1999-04-08	Paper
https://portal.mardi4nfdi.de/entity/Q4877441	1996-01-01	Paper
Type 2 computational complexity of functions on Cantor's space	1991-01-01	Paper
Compactness in constructive analysis revisited	1987-01-01	Paper
Representations of the real numbers and of the open subsets of the set of real numbers	1987-01-01	Paper
Theory of representations	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3722498	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3222178	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3701420	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3966120	1982-01-01	Paper

Research outcomes over time

This page was built for person: Christoph Kreitz