MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Associative-Commutative Superposition." – sorted by Relevance.

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

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

3 documents found, showing 1 through 3.

ATOM

Associative-Commutative Superposition
by Leo Bachmair, Harald Ganzinger, Im Stadtwald — 1993
…MAX-PLANCK-INSTITUT F UR INFORMATIK \Omega \Psi ff \Phi Associative-Commutative Superposition Leo…
Cited by 12 (4 self) – Add To MetaCart

Combining Algebra and Universal Algebra in First-Order Theorem Proving: The Case of Commutative
by Leo Bachmair, Harald Ganzinger, Jürgen Stuber — 1995 — In Proc. 10th Workshop on Specification of Abstract Data Types
… the axioms of a commutative ring with a unit element. Associative-commutative superposition forms…
Cited by 7 (4 self) – Add To MetaCart

Finite-state descriptions for temporal semantics
by Tim Fernando — 2003 — Proceedings of the Fifth International Workshop on Computational Semantics (IWCS-5
… that in (iv), L∩L ′ would require σ = σ ′ . Like ∩, & is associative and commutative. Superposition induces a…
Add To MetaCart

Showing 1 through 3.

ATOM

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