Th. Hillenbrand

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
Citius altius fortius: lessons learned from the theorem prover Waldmeister Electronic Notes in Theoretical Computer Science	2013-04-19	Paper
From search to computation: redundancy criteria and simplification at work Programming Logics	2013-04-19	Paper
Superposition for bounded domains Automated Reasoning and Mathematics	2013-04-16	Paper
First-order atom definitions extended Logic for Programming, Artificial Intelligence, and Reasoning	2011-05-06	Paper
Superposition modulo a Shostak theory. Lecture Notes in Computer Science	2010-04-20	Paper
System Description: Spass Version 3.0 Automated Deduction – CADE-21	2009-03-06	Paper
scientific article; zbMATH DE number 2090305 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 2090321 (Why is no real title available?)	2004-08-12	Paper
On using ground joinable equations in equational theorem proving Journal of Symbolic Computation	2003-08-25	Paper
scientific article; zbMATH DE number 1809863 (Why is no real title available?)	2002-09-30	Paper
scientific article; zbMATH DE number 1765674 (Why is no real title available?)	2002-07-10	Paper

Research outcomes over time

This page was built for person: Th. Hillenbrand