MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Paramodulation-Based Theorem Proving." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

5 documents found, showing 1 through 5.

ATOM

Paramodulation-Based Theorem Proving
by Robert Nieuwenhuis, Albert Rubio — 1999
…Chapter 1 Paramodulation-based theorem proving Robert Nieuwenhuis and Albert Rubio Technical…
Cited by 78 (7 self) – Add To MetaCart

Data Structures and Algorithms for Automated Deduction with Equality
by Jose Miguel Rivero, Departament Llenguatges, Rivero Almeida, Robert Nieuwenhuis, Dr. Fern, O Orejas (president, Dr. Albert Rubio (secretari, Dr. Andrei Voronkov, Dr. Christoph Weidenbach, Dr. Francisco L'opez Fraguas — 2000
…. Chapter 2 gives an oveview of the field of paramodulation-based theorem proving. Its first section…
Cited by 4 (2 self) – Add To MetaCart

Equality Reasoning in Sequent-Based Calculi
by Anatoli Degtyarev, Andrei Voronkov — 1996 — Handbook of Automated Reasoning, volume I, chapter 10
… general applicability of paramodulation. Further history of paramodulation-based theorem proving had been…
Cited by 17 (7 self) – Add To MetaCart

Automated reasoning in Kleene algebra
by Peter Höfner, Georg Struth — 2007 — CADE 2007, LNCS 4603
… and paramodulation-based theorem proving. A semiring is a structure (S, +, ; , 0, 1) such that (S, +, 0) is a…
Cited by 4 (2 self) – Add To MetaCart

Journal Publication
by Christoph Benzmüller, Bernd Fischer, Geoff Sutcliffe, Held At, Christoph Benzmüller, Bernd Fischer, Geoff Sutcliffe — 2006
…. Nieuwenhuis and A. Rubio. Paramodulation-Based Theorem Proving. In A. Robinson and A. Voronkov, editors…
Add To MetaCart

Showing 1 through 5.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB