Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Conference on Automated Deduction

The Conference on Automated Deduction (CADE) is the premier academic conference on automated deduction and related fields. The first CADE was… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2009
Highly Cited
2009
Session 1. Invited Talk.- Integrated Reasoning and Proof Choice Point Selection in the Jahob System - Mechanisms for Program… Expand
Highly Cited
2007
Highly Cited
2007
Session 1. Invited Talk: Colin Stirling.- Games, Automata and Matching.- Session 2. Higher-Order Logic.- Formalization of… Expand
Highly Cited
2004
Highly Cited
2004
In this paper we present an extension of logic programming (LP) that is suitable not only for the “rational” component of a… Expand
Highly Cited
2003
Highly Cited
2003
Soil P composition can be conveniently determined in alkaline extracts using solution 31P nuclear magnetic resonance (NMR… Expand
  • table 1
  • figure I
  • table 2
  • table 3
  • table 3
Highly Cited
2003
Highly Cited
2003
The organic P composition of semi-arid arable soils is largely unknown, but such information is fundamental to understanding P… Expand
  • table 1
  • figure 1
  • table 2
  • table 3
  • table 5
Review
2002
Review
2002
We investigated the response of Gyrinophilus porphyriticus (Plethodontidae), the spring sala- mander, to timber harvest in… Expand
  • figure 1
  • table 1
  • table 2
  • figure 2
Highly Cited
2001
Highly Cited
2001
This thesis introduces a, new logical system, ordered linear logic, which combines reasoning with unrestricted, linear, and… Expand
  • figure 5.1
  • figure 8.1
Highly Cited
1993
Highly Cited
1993
The formalization of abductive reasoning is still an open question: there is no general agreement on the boundary of some basic… Expand
Highly Cited
1990
Highly Cited
1990
In earlier papers we described a technique for automatically constructing inductive proofs, using a heuristic search control… Expand
Highly Cited
1963
Highly Cited
1963
1. A double blind study of lithium carbonate treatment in manic illnesses is described. 2. The drug is found to be of value… Expand
  • table I
  • figure 2