Searching for "On the Expressiveness of First-Order Constraint Languages." – 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.

Euclid, Tarski, and Engeler Encompassed
by Jan Paredaens, Bart Kuijpers, Gabriel Kuper, Luc Vandeurzen
… in the first-order constraint language with arbitrary polynomial constraints. If our programming language…
Add To MetaCart

Showing 1 through 1.

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