Christoph Kreitz

Available identifiers

zbMath Open kreitz.christophMaRDI QIDQ229738

List of research outcomes

Publication	Date of Publication	Type
Deciding intuitionistic propositional logic via translation into classical logic	2019-10-01	Paper
Connection-based proof construction in linear 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
https://portal.mardi4nfdi.de/entity/Q2702598	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/Q3222178	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3701420	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3722498	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3966120	1982-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Christoph Kreitz