Skip to search formSkip to main contentSkip to account menu

Handbook of Automated Reasoning

The Handbook of Automated Reasoning (ISBN 0444508139, 2128 pages) is a collection of survey articles on the field of automated reasoning. Published… 
Wikipedia (opens in a new tab)

Related topics

Related topics

10 relations
Automated reasoningFrank PfenningHarald GanzingerInductive reasoning

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2020
2020
Refutation of Quantified Rewrite Rules
We evaluate two quantified rewrite rules linked to Handbook of automated reasoning, which are not tautologous and hence refute… 
Review
2012
Review
2012
UNIF 26 26 th International Workshop on Unification Proceedings July 1 , 2012 Manchester , United Kingdom
Unification modulo equational theories was originally introduced in automated deduction and term rewriting, but has recently also… 
2010
2010
A Tableau Calculus for Dummett Logic Based on Increasing the Formulas Equivalent to the True and the Replacement Rule
. In this paper we present a multiple premise tableau calculus for propositional Dummett Logic. The aim is to improve the e… 
2009
2009
Raisonnement Automatisé: Principes et Applications (partie I: logique du premier ordre)
This document contains the first part of the M2R course RAPA: Automated Reasoning: Principle and Applications. It presents the… 
2007
2007
Multi-tier programming
  • 2007
  • Corpus ID: 44493249
Multi-tier applications are traditionally designed in the style of a client-server architecture, forcing different parts of the… 
2006
2006
Saturation Up to Redundancy for Tableau and Sequent Calculi
We discuss an adaptation of the technique of saturation up to redundancy, as introduced by Bachmair and Ganzinger [1], to tableau… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)