Searching for authors named Nicolas Zabel – 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.

Building Models By Using Tableaux Extended By Equational Problems
by Ricardo Caferra, Nicolas Zabel — 1993
…Building models by using tableaux extended by equational problems Ricardo Caferra Nicolas Zabel…
Cited by 5 (2 self) – Add To MetaCart

A Method for simultaneous Search for Refutations and Models by Equational Constraint Solving
by Ricardo Caferra, Nicolas Zabel — 1995 — Journal of Symbolic Computation
… and Models by Equational Constraint Solving y RICARDO CAFERRA AND NICOLAS ZABEL LIFIA--IMAG--CNRS 46, Av. F…
Cited by 44 (10 self) – Add To MetaCart

Showing 1 through 2.

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