"Susana Nieva" appeared in Books and Chapters

Click here to donate your five minutes and submit the table of contents of a book.

Search from the table of contents of 2.5 million books

Advanced Search (Beta)

Home > Susana Nieva

"Susana Nieva" appeared in Books and Chapters

entries per page

Filter:

Showing 0 to 0 of 0 entries

Book	Author(s)	Year	Publisher
No data available in table
Boook	Author(s)	Year	Publisher

Showing 0 to 0 of 0 entries

«
‹
›
»

entries per page

Filter:

Showing 1 to 9 of 9 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Higher-Order Logic Programming Languages with Constraints: A Semantics	James Lipton; Susana Nieva	Typed Lambda Calculi and Applications: 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings	Simona Ronchi Della Rocca	2007	Springer Berlin Heidelberg
A Higher-Order Logic Programming Language with Constraints	Javier Leach; Susana Nieva	Functional and Logic Programming: 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001. Proceedings	Herbert Kuchen; Kazunori Ueda	2001	Springer Berlin Heidelberg
MIZ-PR: A theorem prover for polymorphic and recursive functions	Javier Leach; Susana Nieva	Logic Programming and Automated Reasoning: International Conference LPAR ' 92, St. Petersburg, Russia, July 15-20, 1992. Proceedings	Andrei Voronkov	1992	Springer Berlin Heidelberg
Solving Mixed Quantified Constraints over a Domain Based on \( \mathcal{R} \) eal Numbers and \( \mathcal{H} \) erbrand Terms	Miguel García-Díaz; Susana Nieva	Functional and Logic Programming: 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002. Proceedings	Zhenjiang Hu; Mario Rodriquez-Artalejo	2002	Springer Berlin Heidelberg
Lotus spp. : A Foreigner that Came to Stay Forever: Economic and Environmental Changes Caused by Its Naturalization in the Salado River Basin (Argentina)	Amira Susana Nieva; Oscar Adolfo Ruiz	Saline and Alkaline Soils in Latin America: Natural Resources, Management and Productive Alternatives	Edith Taleisnik; Raúl S. Lavado	1st ed. 2021	Springer International Publishing
Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation	Susana Nieva; Jaime Sánchez-Hernández; Fernando Sáenz-Pérez	Functional and Logic Programming: 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings	Jacques Garrigue; Manuel Hermenegildo	2008	Springer Berlin Heidelberg
Liquid Types for Array Invariant Synthesis	Manuel Montenegro; Susana Nieva; Ricardo Peña; Clara Segura	Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings	Deepak D'Souza; K. Narayan Kumar	1st ed. 2017	Springer International Publishing
Formalizing a Broader Recursion Coverage in SQL	Gabriel Aranda; Susana Nieva; Fernando Sáenz-Pérez; Jaime Sánchez-Hernández	Practical Aspects of Declarative Languages: 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013, Proceedings	Kostis Sagonas	2013	Springer Berlin Heidelberg
Bioefficacy of Endophytes in the Control of Plant Diseases	Fernando Matias Romero; Amira Susana Nieva; Oscar Adolfo Ruiz; Andrés Gárriz; Franco Rubén Rossi	Endophytes: Mineral Nutrient Management, Volume 3	Dinesh Kumar Maheshwari; Shrivardhan Dheeman	1st ed. 2021	Springer International Publishing
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 9 of 9 entries

«
‹
1
›
»