E-LIB Suche - Ergebnisse für: López-Fraguas, F. J.

1

Equivalence of Two Formal Semantics for Functional Logic Pr..:

López-Fraguas, F.J. ; Rodríguez-Hortalá, J. ; Sánchez-Hernández, J.
Electronic Notes in Theoretical Computer Science. 188 (2007) - p. 117-142 , 2007

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

2

A lazy narrowing calculus for declarative constraint progra..:

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

López-Fraguas, F. J. ; Rodríguez-Artalejo, M. ; del Vado Vírseda, Rafael - p. 43-54 , 2004

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

3

Failure and Equality in Functional Logic Programming1 1Work..:

López-Fraguas, F.J. ; Sánchez-Hernández, J.
Electronic Notes in Theoretical Computer Science. 86 (2003) 3 - p. 123-143 , 2003

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

4

An approach to declarative programming based on a rewriting..:

González-Moreno, J.C. ; Hortalá-González, M.T. ; López-Fraguas, F.J..
The Journal of Logic Programming. 40 (1999) 1 - p. 47-87 , 1999

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

5

Constraint Functional Logic Programming Revisited:

López-Fraguas, F. Javier ; Rodríguez-Artalejo, Mario ; del Vado Vírseda, Rafael
Electronic Notes in Theoretical Computer Science. 117 (2005) - p. 5-50 , 2005

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

6

The Full Abstraction Problem for Higher Order Functional-Lo..:

López-Fraguas, F. J ; Rodríguez-Hortalá, J
http://arxiv.org/abs/1002.1833. , 2010

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

7

Chemi-Structural Stabilization of Formamidinium Lead Iodide..:

Masi, Sofia ; Echeverría-Arrondo, Carlos ; Salim, K. M. Muhammed...
ACS Energy Letters. 5 (2020) 2 - p. 418-427 , 2020

Link: https://doi.org/10.1021/..

8

Measurements of magnetic field fluctuations in TJ-II plasma..:

Ascasíbar, E. ; Lapayese, F. ; Soleto, A....
Review of Scientific Instruments. 93 (2022) 9 - p. , 2022

Link: https://doi.org/10.1063/..

9

Effects of island chains on transport through changes in th..:

López-Bruna, D. ; Momo, B. ; López-Fraguas, A....
Journal of Physics: Conference Series. 1125 (2018) - p. 012016 , 2018

Link: https://doi.org/10.1088/..

10

Neoclassical Transport and Iota Scaling in the TJ-II Stella..:

Castejón, F. ; Rubio-Montero, A. J. ; López-Fraguas, A...
Fusion Science and Technology. 70 (2016) 3 - p. 406-416 , 2016

Link: https://doi.org/10.13182..

11

Impact of 3D magnetic field structure on boundary and diver..:

Kobayashi, M. ; Feng, Y. ; Xu, Y....
Journal of Nuclear Materials. 463 (2015) - p. 2-10 , 2015

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

12

Observation of Confined Current Ribbon in JET Plasmas:

Solano, E. R. ; Lomas, P. J. ; Alper, B....
Physical Review Letters. 104 (2010) 18 - p. , 2010

Link: https://doi.org/10.1103/..

13

Multi-scale physics mechanisms and spontaneous edge transpo..:

Hidalgo, C. ; Pedrosa, M. A. ; Silva, C....
EPL (Europhysics Letters). 87 (2009) 5 - p. 55002 , 2009

Link: https://doi.org/10.1209/..

14

The Quest for a Divertor Effect in TJ-II:

García-Cortés, I. ; Tabarés, F. L. ; Tafalla, D....
Fusion Science and Technology. 50 (2006) 2 - p. 307-312 , 2006

Link: https://doi.org/10.13182..

15

Electron cyclotron emission measurements on TJ-II stellarat..:

de la Luna, E ; Garcı́a-Cortés, I ; Tribaldos, V...
Fusion Engineering and Design. 53 (2001) 1-4 - p. 147-151 , 2001

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