Stephan Schmitt

From MaRDI portal
Person:1854381

Available identifiers

zbMath Open schmitt.stephanMaRDI QIDQ1854381

List of research outcomes





PublicationDate of PublicationType
Connection-based proof construction in linear logic2019-10-01Paper
Converting non-classical matrix proofs into sequent-style systems2019-01-15Paper
A uniform procedure for converting matrix proofs into sequent-style systems2003-01-14Paper
https://portal.mardi4nfdi.de/entity/Q45396272002-07-10Paper
https://portal.mardi4nfdi.de/entity/Q45396412002-07-10Paper
https://portal.mardi4nfdi.de/entity/Q45304652002-06-03Paper
Proof reconstruction in classical and nonclassical logics (Diss., TU Darmstadt, 1999)2001-07-17Paper
https://portal.mardi4nfdi.de/entity/Q27212102001-07-01Paper
https://portal.mardi4nfdi.de/entity/Q49341412000-01-17Paper
https://portal.mardi4nfdi.de/entity/Q38388181999-04-08Paper
https://portal.mardi4nfdi.de/entity/Q42230271999-01-10Paper
https://portal.mardi4nfdi.de/entity/Q42179531998-11-11Paper

Research outcomes over time

This page was built for person: Stephan Schmitt

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1854381&oldid=11941740"
Powered by MediaWiki