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
Integration of equality reasoning into the disconnection calculus Lecture Notes in Computer Science	2003-07-17	Paper
DCTP 1. 2 -- system abstract Lecture Notes in Computer Science	2003-07-17	Paper
DCTP -- a disconnection calculus theorem prover -- system abstract Lecture Notes in Computer Science	2002-07-10	Paper
Scheduling methods for parallel automated theorem proving Lecture Notes in Computer Science	2002-01-28	Paper
Model elimination and connection tableau procedures	2001-10-21	Paper
E-SETHEO: An automated^3 theorem prover Lecture Notes in Computer Science	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