Searching for "Connection method." – sorted by Relevance.
893 documents found, showing 1 through 10.
Next 10 →
-
On the Adequateness of the Connection Method
- …On the Adequateness of the Connection Method Antje Beringer and Steffen H��olldobler Intellektik…
- Cited by 12 (6 self) – Add To MetaCart
-
Connection Methods in Linear Logic and Proof Nets Construction
- …Connection Methods in Linear Logic and Proof Nets Construction D. Galmiche LORIA - Universit Henri…
- Cited by 9 (1 self) – Add To MetaCart
-
A Quantum Monte Carlo Approach to the Adiabatic Connection Method
- …A Quantum Monte Carlo Approach to the Adiabatic Connection Method Maziar Nekovee and W.M.C. Foulkes…
- Cited by 2 (0 self) – Add To MetaCart
-
lolliCoP -- A Linear Logic Implementation of a Lean Connection-Method Theorem Prover for First
- …lolliCoP – A Linear Logic Implementation of a Lean Connection-Method Theorem Prover for First…
- Cited by 3 (0 self) – Add To MetaCart
-
CONNECTION METHOD FOR 3-D SHAPE RECONSTRUCTION
- … CONNECTION METHOD FOR 3-D SHAPE RECONSTRUCTION Makoto MARUYA Keiji NEMOTO Yosuke TAKASHIMA C&C Information…
- Add To MetaCart
-
A connection based proof method for intuitionistic logic
- …A Connection Based Proof Method for Intuitionistic Logic Jens Otten Christoph Kreitz Fachgebiet…
- Cited by 35 (23 self) – Add To MetaCart
-
The Complexity of Automated Reasoning
- … of analytic tableaux, linear resolution, the connection method, tree resolution and the Davis-Putnam procedure…
- Cited by 8 (0 self) – Add To MetaCart
-
Towards Efficient Calculi for Resource-Oriented Deductive Planning
- …. These are based on the linear connection method, an equational Horn logic, and a fragment of linear logic…
- Add To MetaCart
-
Skeptical Query-Answering in Constrained Default Logic
- … Logic based on the Connection Method is presented. We adapt a recently proposed general method…
- Cited by 5 (4 self) – Add To MetaCart
-
Simultaneous Rigid E-Unification and Related Algorithmic Problems
- … theorem proving with equality in sequent-based methods, for example the connection method or the tableau…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
