E-LIB Suche - Ergebnisse für: NIEVA, SUSANA

1

Extending Liquid Types to Arrays:

Montenegro, Manuel ; Nieva, Susana ; Peña, Ricardo.
ACM Transactions on Computational Logic. 21 (2020) 2 - p. 1-41 , 2020

Link: https://doi.org/10.1145/..

2

Extending Liquid Types to Arrays:

Montenegro, Manuel ; Nieva, Susana ; Peña, Ricardo.
ACM Transactions on Computational Logic (TOCL). 21 (2020) 2 - p. 1-41 , 2020

Link: https://dl.acm.org/doi/1..

3

HR-SQL: Extending SQL with hypothetical reasoning and impro..:

Nieva, Susana ; Sáenz-Pérez, Fernando ; Sánchez-Hernández, Jaime
Information and Computation. 271 (2020) - p. 104485 , 2020

Link: https://doi.org/10.1016/..

4

Kripke semantics for higher-order type theory applied to co..:

Lipton, James ; Nieva, Susana
Theoretical Computer Science. 712 (2018) - p. 1-37 , 2018

Link: https://doi.org/10.1016/..

5

An extended constraint deductive database: Theory and imple..:

Aranda-López, Gabriel ; Nieva, Susana ; Sáenz-Pérez, Fernando.
The Journal of Logic and Algebraic Programming. 83 (2014) 1 - p. 20-52 , 2014

Link: https://doi.org/10.1016/..

6

Implementing a fixed point semantics for a constraint deduc..:

, In: Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming,

Aranda-López, Gabriel ; Nieva, Susana ; Sáenz-Pérez, Fernando. - p. 117-128 , 2009

Link: https://dl.acm.org/doi/1..

7

Formalizing a constraint deductive database language based ..:

, In: Proceedings of the 9th international conference on Functional and logic programming,

Nieva, Susana ; Sánchez-Hernández, Jaime ; Sáenz-Pérez, Fernando - p. 289-304 , 2008

Link: https://dl.acm.org/doi/1..

8

Providing declarative semantics for HH extended constraint ..:

, In: Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming,

García-Díaz, Miguel ; Nieva, Susana - p. 55-66 , 2004

Link: https://dl.acm.org/doi/1..

9

Constraint Logic Programming with Hereditary Harrop formula:

LEACH, JAVIER ; NIEVA, SUSANA ; RODRÍGUEZ-ARTALEJO, MARIO
Theory and Practice of Logic Programming. 1 (2001) 4 - p. 409-445 , 2001

Link: https://doi.org/10.1017/..

10

Formalizing a Constraint Deductive Database Language Based ..:

, In: Functional and Logic Programming; Lecture Notes in Computer Science,

Nieva, Susana ; Sánchez-Hernández, Jaime ; Sáenz-Pérez, Fernando - p. 289-304 ,

Link: https://doi.org/10.1007/..

11

Metabolic Profiling and Metabolite Correlation Network Anal..:

Nieva, Amira Susana ; Romero, Fernando Matías ; Erban, Alexander...
Journal of Fungi. 7 (2021) 9 - p. 765 , 2021

Link: https://doi.org/10.3390/..

12

Bioefficacy of Endophytes in the Control of Plant Diseases:

, In: Endophytes: Mineral Nutrient Management, Volume 3; Sustainable Development and Biodiversity,

Romero, Fernando Matias ; Nieva, Amira Susana ; Ruiz, Oscar Adolfo.. - p. 11-34 , 2021

Link: https://doi.org/10.1007/..

13

Lotus spp.: A Foreigner that Came to Stay Forever: Economic..:

, In: Saline and Alkaline Soils in Latin America,

Nieva, Amira Susana ; Ruiz, Oscar Adolfo - p. 431-446 , 2020

Link: https://doi.org/10.1007/..

14

The fungal endophyte Fusarium solani provokes differential ..:

Nieva, Amira Susana ; Vilas, Juan Manuel ; Gárriz, Andrés...
Plant Physiology and Biochemistry. 144 (2019) - p. 100-109 , 2019

Link: https://doi.org/10.1016/..

15

Promotion of Lotus tenuis in the Flooding Pampa (Argentina)..:

Nieva, Amira Susana ; Bailleres, Matías A. ; Llames, María Eugenia...
Fungal Ecology. 33 (2018) - p. 80-91 , 2018

Link: https://doi.org/10.1016/..