×
Edit Profile (opens in new tab)

López-Fraguas, Francisco Javier

Co-Author Distance
Author ID: lopez-fraguas.francisco-javier Recent zbMATH articles by "López-Fraguas, Francisco Javier"
Published as: López-Fraguas, Francisco J.; López-Fraguas, Francisco Javier; López-Fraguas, F. J.; López Fraguas, Francisco J.; López-Fraguas, F. Javier; López Fraguas, Francisco
External Links: ORCID
Documents Indexed: 27 Publications since 1993
1 Contribution as Editor
Co-Authors: 15 Co-Authors with 27 Joint Publications
147 Co-Co-Authors
all top 5

Co-Authors

1 single-authored
9 Sánchez-Hernández, Jaime
8 Rodríguez-Hortalá, Juan
6 Rodríguez-Artalejo, Mario
5 Caballero, Rafael E.
4 Martin-Martin, Enrique
2 del Vado Vírseda, Rafael
2 Montenegro, Manuel
1 Álvez, Javier
1 Arenas-Sánchez, Puri
1 Cleva, José Miguel
1 de Dios Castro, Javier
1 Gonzalez-Moreno, Juan Carlos
1 Hortala-Gonzalez, Maria Teresa
1 Loogen, Rita
1 Suárez-García, Gorka
all top 5

Serials

2 Theory and Practice of Logic Programming
1 The Journal of Logic Programming
1 Information and Computation
1 Mathematical Structures in Computer Science
1 Higher-Order and Symbolic Computation
1 The Journal of Functional and Logic Programming
1 Electronic Notes in Theoretical Computer Science

Fields

28 Computer science (68-XX)
3 Mathematical logic and foundations (03-XX)
1 General and overarching topics; collections (00-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

21 Publications have been cited 112 times in 64 Documents Cited by ▼ Year ▼
An approach to declarative programming based on a rewriting logic. Zbl 0942.68060
González-Moreno, J. C.; Hortalá-González, M. T.; López-Fraguas, F. J.; Rodríguez-Artalejo, M.
44
1999
A demand driven computation strategy for lazy narrowing. Zbl 0791.68021
Loogen, Rita; López Fraguas, Francisco; Rodríguez-Artalejo, Mario
12
1993
Theoretical foundations for the declarative debugging of lazy functional logic programs. Zbl 0977.68510
Caballero, Rafael; López-Fraguas, Francisco J.; Rodríguez-Artalejo, Mario
8
2001
Extra variables can be eliminated from functional logic programs. Zbl 1278.68063
de Dios Castro, Javier; López-Fraguas, Francisco J.
6
2007
Rewriting and call-time choice: The HO case. Zbl 1137.68338
López-Fraguas, Francisco Javier; Rodríguez-Hortalá, Juan; Sánchez-Hernández, Jaime
5
2008
A proof theoretic approach to failure in functional logic programming. Zbl 1085.68021
López-Fraguas, Francisco J.; Sánchez-Hernández, Jaime
5
2004
A new generic scheme for functional logic programming with constraints. Zbl 1115.68048
López Fraguas, Francisco J.; Rodríguez Artalejo, Mario; del Vado Vírseda, Rafael
5
2007
Proving failure in functional logic programs. Zbl 0983.68503
López-Fraguas, Francisco J.; Sánchez-Hernández, Jaime
4
2000
A functional-logic perspective of parsing. Zbl 0988.68524
Caballero, Rafael; López-Fraguas, Francisco J.
3
1999
Equivalence of two formal semantics for functional logic programs. Zbl 1278.68051
López-Fraguas, F. J.; Rodríguez-Hortalá, J.; Sánchez-Hernández, J.
3
2007
Functional logic programming with failure: a set-oriented view. Zbl 1275.68047
López-Fraguas, F. J.; Sánchez-Hernández, J.
2
2001
Narrowing failure in functional logic programming. Zbl 1019.68018
López-Fraguas, Francisco Javier; Sánchez-Hernández, Jaime
2
2002
New results on type systems for functional logic programming. Zbl 1274.68045
López-Fraguas, Francisco J.; Martin-Martin, Enrique; Rodríguez-Hortalá, Juan
2
2010
Rewriting and narrowing for constructor systems with call-time choice semantics. Zbl 1286.68265
López-Fraguas, Francisco J.; Martin-Martin, Enrique; Rodríguez-Hortalá, Juan; Sánchez-Hernández, Jaime
2
2014
A fully abstract semantics for constructor systems. Zbl 1242.68137
López-Fraguas, Francisco Javier; Rodríguez-Hortalá, Juan; Sánchez-Hernández, Jaime
2
2009
Constraint functional logic programming revisited. Zbl 1272.68078
López-Fraguas, F. Javier; Rodríguez-Artalejo, Mario; del Vado Vírseda, Rafael
2
2005
Dynamic-cut with definitional trees. Zbl 1019.68513
Caballero, Rafael; López-Fraguas, Francisco Javier
1
2002
Polymorphic types in Erlang function specifications. Zbl 1475.68066
López-Fraguas, Francisco J.; Montenegro, Manuel; Rodríguez-Hortalá, Juan
1
2016
Improving deterministic computations in lazy functional logic languages. Zbl 1034.68016
Caballero, Rafael; López-Fraguas, Francisco Javier
1
2003
Functional plus logic programming with built-in and symbolic constraints. Zbl 0953.68033
Arenas-Sánchez, Puri; López-Fraguas, F. J.; Rodríguez-Artalejo, M.
1
1999
Failure and equality in functional logic programming. Zbl 1270.68061
López-Fraguas, F. J.; Sánchez-Hernández, J.
1
2003
Polymorphic types in Erlang function specifications. Zbl 1475.68066
López-Fraguas, Francisco J.; Montenegro, Manuel; Rodríguez-Hortalá, Juan
1
2016
Rewriting and narrowing for constructor systems with call-time choice semantics. Zbl 1286.68265
López-Fraguas, Francisco J.; Martin-Martin, Enrique; Rodríguez-Hortalá, Juan; Sánchez-Hernández, Jaime
2
2014
New results on type systems for functional logic programming. Zbl 1274.68045
López-Fraguas, Francisco J.; Martin-Martin, Enrique; Rodríguez-Hortalá, Juan
2
2010
A fully abstract semantics for constructor systems. Zbl 1242.68137
López-Fraguas, Francisco Javier; Rodríguez-Hortalá, Juan; Sánchez-Hernández, Jaime
2
2009
Rewriting and call-time choice: The HO case. Zbl 1137.68338
López-Fraguas, Francisco Javier; Rodríguez-Hortalá, Juan; Sánchez-Hernández, Jaime
5
2008
Extra variables can be eliminated from functional logic programs. Zbl 1278.68063
de Dios Castro, Javier; López-Fraguas, Francisco J.
6
2007
A new generic scheme for functional logic programming with constraints. Zbl 1115.68048
López Fraguas, Francisco J.; Rodríguez Artalejo, Mario; del Vado Vírseda, Rafael
5
2007
Equivalence of two formal semantics for functional logic programs. Zbl 1278.68051
López-Fraguas, F. J.; Rodríguez-Hortalá, J.; Sánchez-Hernández, J.
3
2007
Constraint functional logic programming revisited. Zbl 1272.68078
López-Fraguas, F. Javier; Rodríguez-Artalejo, Mario; del Vado Vírseda, Rafael
2
2005
A proof theoretic approach to failure in functional logic programming. Zbl 1085.68021
López-Fraguas, Francisco J.; Sánchez-Hernández, Jaime
5
2004
Improving deterministic computations in lazy functional logic languages. Zbl 1034.68016
Caballero, Rafael; López-Fraguas, Francisco Javier
1
2003
Failure and equality in functional logic programming. Zbl 1270.68061
López-Fraguas, F. J.; Sánchez-Hernández, J.
1
2003
Narrowing failure in functional logic programming. Zbl 1019.68018
López-Fraguas, Francisco Javier; Sánchez-Hernández, Jaime
2
2002
Dynamic-cut with definitional trees. Zbl 1019.68513
Caballero, Rafael; López-Fraguas, Francisco Javier
1
2002
Theoretical foundations for the declarative debugging of lazy functional logic programs. Zbl 0977.68510
Caballero, Rafael; López-Fraguas, Francisco J.; Rodríguez-Artalejo, Mario
8
2001
Functional logic programming with failure: a set-oriented view. Zbl 1275.68047
López-Fraguas, F. J.; Sánchez-Hernández, J.
2
2001
Proving failure in functional logic programs. Zbl 0983.68503
López-Fraguas, Francisco J.; Sánchez-Hernández, Jaime
4
2000
An approach to declarative programming based on a rewriting logic. Zbl 0942.68060
González-Moreno, J. C.; Hortalá-González, M. T.; López-Fraguas, F. J.; Rodríguez-Artalejo, M.
44
1999
A functional-logic perspective of parsing. Zbl 0988.68524
Caballero, Rafael; López-Fraguas, Francisco J.
3
1999
Functional plus logic programming with built-in and symbolic constraints. Zbl 0953.68033
Arenas-Sánchez, Puri; López-Fraguas, F. J.; Rodríguez-Artalejo, M.
1
1999
A demand driven computation strategy for lazy narrowing. Zbl 0791.68021
Loogen, Rita; López Fraguas, Francisco; Rodríguez-Artalejo, Mario
12
1993
all cited Publications top 5 cited Publications
all top 5

Cited by 67 Authors

11 López-Fraguas, Francisco Javier
9 Antoy, Sergio
8 Hanus, Michael
8 Rodríguez-Hortalá, Juan
7 del Vado Vírseda, Rafael
6 Rodríguez-Artalejo, Mario
6 Vidal, Germán
5 Braßel, Bernd
5 Sánchez-Hernández, Jaime
3 Alpuente, María
3 Caballero, Rafael E.
3 Christiansen, Jan
3 Fernández, Antonio J.
3 Fischer, Sebastian
3 Hortalá-González, Teresa
3 Martin-Martin, Enrique
3 Sáenz-Pérez, Fernando
2 Albert, Elvira
2 Becerra-Terón, Antonio
2 Correa, Francisco José
2 Escobar, Santiago
2 Estévez-Martín, Sonia
2 Falaschi, Moreno
2 Huch, Frank
2 Kiselyov, Oleg
2 Martí-Oliet, Narciso
2 Meseguer Guaita, José
2 Ramos, J. Guadalupe
2 Shan, Chung-chieh
2 Silva, Josep
1 Alemandros-Jiménez, Jesús M.
1 Almendros-Jiménez, Jesús Manuel
1 Bacci, Giovanni
1 Ballis, Demis
1 Brown, Daniel W.
1 Chiang, Su-Hui
1 Chitil, Olaf
1 Cleva, José Miguel
1 Comini, Marco
1 de Dios Castro, Javier
1 Durán, Francisco
1 Eker, Steven
1 García-Ruiz, Yolanda
1 Iranzo, Pascual Julián
1 Johannsen, Jacob
1 Jost, Andy
1 Lago, Joaquín Mateos
1 Libby, Steven
1 Lucas, Salvador
1 Luo, Yong
1 Lux, Wolfgang
1 Massey, Bart C.
1 Mazanek, Steffen
1 Minas, Mark
1 Montenegro, Manuel
1 Moreno, Ginés
1 Nishida, Naoki
1 Oliver, Javier
1 Reck, Fabian
1 Riesco, Adrián
1 Romero-Díaz, Carlos A.
1 Rubio, Rubén
1 Seidel, Daniel
1 Talcott, Carolyn L.
1 Tarjuelo, Miguel Palomino
1 Teegen, Finn
1 Voigtlander, Janis
all top 5

Cited in 11 Serials

7 Theory and Practice of Logic Programming
3 Theoretical Computer Science
3 Journal of Symbolic Computation
2 New Generation Computing
1 Information Processing Letters
1 Information and Computation
1 Mathematical Structures in Computer Science
1 Applicable Algebra in Engineering, Communication and Computing
1 Journal of Functional Programming
1 Higher-Order and Symbolic Computation
1 Journal of Logical and Algebraic Methods in Programming

Cited in 2 Fields

64 Computer science (68-XX)
7 Mathematical logic and foundations (03-XX)

Citations by Year