Searching for authors named "Susana Nieva" – 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.

Solving Constraints for an Instance of an Extended CLP Language over a Domain based
by Miguel García-díaz, Susana Nieva, Dpto Sistemas, Informáticos Programación — 2003 — on Real Numbers and Herbrand Terms, Journal of Functional and Logic Programming
… Numbers and Herbrand Terms Miguel García-Díaz and Susana Nieva ∗ Dpto. Sistemas Informáticos y…
Cited by 1 (1 self) – Add To MetaCart

Free Variable Tableaux for a Many Sorted Logic with Preorders
by Antonio Gavilanes, Javier Leach, Susana Nieva, A. Gavilanes, J. Leach, S. Nieva — 1996
…, Susana Nieva Dpto. de Inform' atica y Autom' atica Universidad Complutense de Madrid Informe T…
Cited by 2 (2 self) – Add To MetaCart

Showing 1 through 2.

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