MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Basic Paramodulation" – sorted by Relevance.

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

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

24 documents found, showing 1 through 10. Next 10 →

ATOM

Basic Paramodulation
by Leo Bachmair, Harald Ganzinger, Christopher Lynch, Wayne Snyder — 1995 — Information and Computation
…Basic Paramodulation Leo Bachmair Harald Ganzinger y Christopher Lynch z Wayne Snyder x…
Cited by 63 (12 self) – Add To MetaCart

Decidability and Complexity Analysis by Basic Paramodulation
by Robert Nieuwenhuis, Robert Nieuwenhuis — 1998
…Decidability and Complexity Analysis by Basic Paramodulation Robert Nieuwenhuis Technical…
Cited by 11 (7 self) – Add To MetaCart

Basic Paramodulation and Decidable Theories (Extended Abstract)
by Robert Nieuwenhuis — 1996 — in `Proceedings 11th IEEE Symposium on Logic in Computer Science, LICS'96', IEEE Computer
…. Basic Paramodulation and Decidable Theories (Extended Abstract) Robert Nieuwenhuis Technical…
Cited by 5 (0 self) – Add To MetaCart

Model Elimination with Basic Ordered Paramodulation
by Max Moser, Christopher Lynch, Joachim Steinbach — 1995
…Model Elimination with Basic Ordered Paramodulation Max Moser 1? --- Christopher Lynch 2…
Cited by 9 (1 self) – Add To MetaCart

A New Approach to Inferences of Semantic Constraints
by Joachim Biskup, Andreas Kluck, Fachbereich Informatik — 1997 — In In Proc. of Advances in Databases and Information Systems
… inference systems, like resolution with paramodulation. Recently the inference rule of basic paramodulation…
Cited by 2 (0 self) – Add To MetaCart

33 Basic Test Problems: A Practical Evaluation of Some Paramodulation Strategies
by William Mccune — 1996
…4 33 Basic Test Problems: A Practical Evaluation of Some Paramodulation Strategies William Mc…
Cited by 22 (5 self) – Add To MetaCart

Elimination of Equality via Transformation with Ordering Constraints
by Leo Bachmair, Harald Ganzinger, Andrei Voronkov — 1997
… the correctness of our refinements of Brand's method by establishing a suitable connection to basic paramodulation…
Cited by 8 (1 self) – Add To MetaCart

Rewrite-based Deduction and Symbolic Constraints
by Robert Nieuwenhuis — 1997 — In Proceedings of the 16th International Conference on Automated Deduction, volume 1632 of LNAI
… applicable sometimes takes several years. For example, basic paramodulation was presented in 1992…
Cited by 6 (3 self) – Add To MetaCart

Well-Behaved Search and the Robbins Problem
by William Mccune — 1997 — 8th International Conference on Rewriting Techniques and Applications (RTA), Lecture Notes in Computer Science
… available three restrictions on paramodulation inferences: blocked paramodulation [5], basic paramodulation…
Cited by 1 (0 self) – Add To MetaCart

SETHEO and E-SETHEO - The CADE-13 Systems
by M. Moser, O. Ibens, R. Letz, J. Steinbach, C. Goller, J. Schumann, K. Mayr — 1997 — Journal of Automated Reasoning
… Forschungsgemeinschaft. 2 M. MOSER ET AL. prover E-SETHEO is based on lazy basic paramodulation [6], a variant…
Cited by 8 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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