Gernot Stenz

Available identifiers

zbMath Open stenz.gernotMaRDI QIDQ877888

List of research outcomes

Publication	Date of Publication	Type
Proof and Model Generation with Disconnection Tableaux	2011-05-06	Paper
Automated Reasoning with Analytic Tableaux and Related Methods	2010-03-09	Paper
Automated Reasoning	2007-09-25	Paper
The disconnection tableau calculus	2007-05-04	Paper
Automated Reasoning with Analytic Tableaux and Related Methods	2006-07-07	Paper
Automated Reasoning with Analytic Tableaux and Related Methods	2006-07-07	Paper
https://portal.mardi4nfdi.de/entity/Q4412870	2003-07-17	Paper
https://portal.mardi4nfdi.de/entity/Q4412859	2003-07-17	Paper
https://portal.mardi4nfdi.de/entity/Q4539623	2002-07-10	Paper
https://portal.mardi4nfdi.de/entity/Q2766732	2002-01-28	Paper
Model elimination and connection tableau procedures	2001-10-21	Paper
https://portal.mardi4nfdi.de/entity/Q2721215	2001-07-01	Paper
https://portal.mardi4nfdi.de/entity/Q4520769	2001-02-27	Paper

Research outcomes over time

This page was built for person: Gernot Stenz