Searching for "Decision procedures for extensions of the theory of arrays." – sorted by Relevance.

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

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

1 documents found, showing 1 through 1.

Decision Procedures for Extensions of the Theory of Arrays
by Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli, S. Ghilardi, D. Zucchelli, E. Nicolini, E. Nicolini, S. Ranise, S. Ranise, Silvio Ghilardi Et Al — Annals of Mathematics and Artificial Intelligence
… Ranise · Daniele Zucchelli Decision Procedures for Extensions of the Theory of Arrays c○Springer Science…
Cited by 3 (1 self) – Add To MetaCart

Showing 1 through 1.

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