E-LIB Suche - Ergebnisse für: Fraguas, Francisco Javier

1

Characterization of codfish gelatin: A comparative study of..:

Alves, Ana Luísa ; Fraguas, Francisco Javier ; Carvalho, Ana Cristina...
Food Hydrocolloids. 124 (2022) - p. 107238 , 2022

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

2

Characterization of codfish gelatin: A comparative study of..:

Alves, Ana Luísa ; Fraguas, Francisco Javier ; Carvalho, Ana Cristina Pontes...
https://doi.org/10.1016/j.foodhyd.2021.107238. , 2022

Link: https://hdl.handle.net/1..

3

A liberal type system for functional logic programs:

LÓPEZ-FRAGUAS, FRANCISCO JAVIER ; MARTIN-MARTIN, ENRIQUE ; RODRÍGUEZ-HORTALÁ, JUAN
Mathematical Structures in Computer Science. 25 (2014) 4 - p. 942-977 , 2014

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

4

Rewriting and call-time choice : the HO case:

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

López-Fraguas, Francisco Javier ; Rodríguez-Hortalá, Juan ; Sánchez-Hernández, Jaime - p. 147-162 , 2008

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

5

Rewriting and Call-Time Choice: The HO Case:

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

López-Fraguas, Francisco Javier ; Rodríguez-Hortalá, Juan ; Sánchez-Hernández, Jaime - p. 147-162 ,

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

6

Caracterización de las proteínas de la membrana del glóbulo..:

Fraguas Lasheras, Francisco Javier ; Sánchez Paniagua, Lourdes
http://zaguan.unizar.es/record/12221. , 2013

Link: http://zaguan.unizar.es/..

7

Deriving overloaded success type schemes in Erlang:

López Fraguas, Francisco Javier ; Montenegro Montes, Manuel ; Suárez García, Gorka
CAVI-ART-2 (TIN2017-86217-R). , 2020

Link: https://hdl.handle.net/2..

8

Tutoriales interactivos para el estudio de la programación:..:

Martín Martín, Enrique ; Montenegro Montes, Manuel ; Riesco Rodríguez, Adrián...
PIMCD2017. , 2018

Link: https://hdl.handle.net/2..

9

Implementación de un sistema para el aprendizaje de lenguaj..:

Martín Martín, Enrique ; Riesco Rodríguez, Adrián ; Sánchez Hernández, Jaime...
PIMCD2016. , 2017

Link: https://hdl.handle.net/2..

10

A Lightweight Combination of Semantics for Non-deterministi..:

Lopez-Fraguas, Francisco Javier ; Rodriguez-Hortala, Juan ; Sanchez-Hernandez, Jaime
http://arxiv.org/abs/0903.2205. , 2009

Link: http://arxiv.org/abs/090..

11

A Proof Theoretic Approach to Failure in Functional Logic P..:

Lopez-Fraguas, Francisco Javier ; Sanchez-Hernandez, Jaime
http://arxiv.org/abs/cs/0405102. , 2004

Link: http://arxiv.org/abs/cs/..

12

Los derechos de la infancia y la ciudadanía global en la pr..:

García Nieto, María Teresa ; Davara, Francisco Javíer ; Bernabe Fraguas, Javier..
https://www.unicef.es/sites/unicef.es/files/comunicacion/unicef-educa-derechos-infancia-ciencias-comunicacion.pdf. , 2017

Link: https://hdl.handle.net/2..

13

A Complete Axiomatization of Strict Equality:

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

Álvez, Javier ; López-Fraguas, Francisco J. - p. 118-133 , 2010

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

14

A complete axiomatization of strict equality:

, In: Proceedings of the 10th international conference on Functional and Logic Programming,

Álvez, Javier ; López-Fraguas, Francisco J. - p. 118-133 , 2010

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

15

Extra Variables Can Be Eliminated from Functional Logic Pro..:

de Dios Castro, Javier ; López-Fraguas, Francisco J.
Electronic Notes in Theoretical Computer Science. 188 (2007) - p. 3-19 , 2007

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