Stephan Schmitt

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Connection-based proof construction in linear logic Automated Deduction—CADE-14	2019-10-01	Paper
Converting non-classical matrix proofs into sequent-style systems Automated Deduction — Cade-13	2019-01-15	Paper
A uniform procedure for converting matrix proofs into sequent-style systems Information and Computation	2003-01-14	Paper
scientific article; zbMATH DE number 1765687 (Why is no real title available?)	2002-07-10	Paper
scientific article; zbMATH DE number 1765700 (Why is no real title available?)	2002-07-10	Paper
scientific article; zbMATH DE number 1748580 (Why is no real title available?)	2002-06-03	Paper
Proof reconstruction in classical and nonclassical logics (Diss., TU Darmstadt, 1999) DISKI. Dissertationen zur Künstlichen Intelligenz	2001-07-17	Paper
scientific article; zbMATH DE number 1612565 (Why is no real title available?)	2001-07-01	Paper
scientific article; zbMATH DE number 1389648 (Why is no real title available?)	2000-01-17	Paper
scientific article; zbMATH DE number 1189109 (Why is no real title available?)	1999-04-08	Paper
scientific article; zbMATH DE number 1231696 (Why is no real title available?)	1999-01-10	Paper
scientific article; zbMATH DE number 1222428 (Why is no real title available?)	1998-11-11	Paper

Research outcomes over time

This page was built for person: Stephan Schmitt