MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Strict Basic Superposition." – 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

Strict Basic Superposition and Chaining
by Leo Bachmair, Leo Bachmair, Harald Ganzinger, Harald Ganzinger — 1997
…Strict Basic Superposition and Chaining Leo Bachmair Harald Ganzinger MPI--I--97--2--011 December…
Add To MetaCart

Strict Basic Superposition
by Leo Bachmair, Harald Ganzinger — 1998
…Strict Basic Superposition Leo Bachmair ?1 and Harald Ganzinger ??2 1 Comp. Sci. Dept., SUNY…
Cited by 6 (0 self) – Add To MetaCart

Saturation of First-Order (constrained) Clauses
by With The Saturate, Pilar Nivela, Robert Nieuwenhuis — 1993 — Rewriting Techniques and Applications, 5th International Conference, RTA-93, volume 690 of Lecture Notes in Computer Science
…). Strict basic superposition, where no inferences have to be computed on subterms generated in previous…
Add To MetaCart

Elimination of Equality via Transformation with Ordering Constraints
by Leo Bachmair, Harald Ganzinger, Andrei Voronkov — 1997
…). This calculus is a slimmed-down version of a strict basic superposition calculus restricted to flat clauses…
Cited by 8 (1 self) – Add To MetaCart

An Overview of Rewrite Rule Laboratory (RRL)
by Deepak Kapur, Hantao Zhang — 1995 — J. of Computer and Mathematics with Applications
…], general superposition criterion, and symmetric superposition criterion [71]. More recently, strict…
Cited by 64 (26 self) – Add To MetaCart

Showing 1 through 5.

ATOM

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