Gernot Stenz

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
Proof and model generation with disconnection tableaux Logic for Programming, Artificial Intelligence, and Reasoning	2011-05-06	Paper
Universal variables in disconnection tableaux Lecture Notes in Computer Science	2010-03-09	Paper
Automated Reasoning Lecture Notes in Computer Science	2007-09-25	Paper
The disconnection tableau calculus Journal of Automated Reasoning	2007-05-04	Paper
Automated Reasoning with Analytic Tableaux and Related Methods Lecture Notes in Computer Science	2006-07-07	Paper
Automated Reasoning with Analytic Tableaux and Related Methods	2006-07-07	Paper
scientific article; zbMATH DE number 1950272 (Why is no real title available?)	2003-07-17	Paper
scientific article; zbMATH DE number 1950261 (Why is no real title available?)	2003-07-17	Paper
scientific article; zbMATH DE number 1765683 (Why is no real title available?)	2002-07-10	Paper
scientific article; zbMATH DE number 1696564 (Why is no real title available?)	2002-01-28	Paper
Model elimination and connection tableau procedures	2001-10-21	Paper
scientific article; zbMATH DE number 1612568 (Why is no real title available?)	2001-07-01	Paper
scientific article; zbMATH DE number 1543302 (Why is no real title available?)	2001-02-27	Paper

Research outcomes over time

This page was built for person: Gernot Stenz