Searching for "Complexity and Uniformity of Elimination in Presburger Arithmetic." – 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.

Complexity and uniformity of elimination in Presburger arithmetic
by Volker Weispfenning — 1997 — International Symposium on Symbolic and Algebraic Computation (ISSAC)
…Complexity and Uniformity of Elimination in Presburger Arithmetic Volker Weispfenning Fakultat fur…
Cited by 8 (3 self) – Add To MetaCart

Complexity and Uniformity of Elimination in Presburger Arithmetic
by Volker Weispfenning Universitat, Volker Weispfenning — 1997 — Universitat Passau
…Complexity and Uniformity of Elimination in Presburger Arithmetic Volker Weispfenning Universitat…
Add To MetaCart

Showing 1 through 2.

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