Reinhold Letz

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
Partheo: A high-performance parallel theorem prover	2023-04-28	Paper
Subgoal alternation in model elimination Lecture Notes in Computer Science	2019-01-15	Paper
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
scientific article; zbMATH DE number 1950260 (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 1748583 (Why is no real title available?)	2002-06-03	Paper
First-order tableau methods	2001-11-14	Paper
Model elimination and connection tableau procedures	2001-10-21	Paper
scientific article; zbMATH DE number 1552523 (Why is no real title available?)	2001-07-03	Paper

Research outcomes over time

This page was built for person: Reinhold Letz