Searching for "Superposition with completely built-in Abelian groups." – sorted by Relevance.

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

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

2 documents found, showing 1 through 2.

Superposition with Completely Built-in Abelian Groups
by Guillem Godoy, Robert Nieuwenhuis
…Article Submitted to Journal of Symbolic Computation Superposition with Completely Built-in Abelian…
Cited by 1 (0 self) – Add To MetaCart

JournalofSymbolicComputation37(2004)1--33
by Www Elsevier Com, Guillem Godoy, Robert Nieuwenhuis — J. Symb. Comput
… with completely built-in Abelian groups Guillem Godoy, Robert Nieuwenhuis ∗ Department of LSI, Technical…
Add To MetaCart

Showing 1 through 2.

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