Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Cleva, José Miguel
Leach, Javier
and
López-Fraguas, Francisco J.
2004.
A logic programming approach to the verification of functional-logic programs.
p.
9.
López-Fraguas, F. J.
Rodríguez-Artalejo, M.
and
del Vado Vírseda, Rafael
2004.
A lazy narrowing calculus for declarative constraint programming.
p.
43.
Martín, Sonia Estévez
and
del Vado Vírseda, Rafael
2005.
Designing an efficient computation strategy in
CFLP(FD)
using definitional trees
.
p.
23.
López-Fraguas, F. Javier
Rodríguez-Artalejo, Mario
and
del Vado Vírseda, Rafael
2005.
Constraint Functional Logic Programming Revisited.
Electronic Notes in Theoretical Computer Science,
Vol. 117,
Issue. ,
p.
5.
Almendros-Jiménez, Jesús M.
and
Becerra-Terón, Antonio
2006.
Database query languages and functional logic programming.
New Generation Computing,
Vol. 24,
Issue. 2,
p.
129.
Hanus, Michael
2007.
Logic Programming.
Vol. 4670,
Issue. ,
p.
45.
López Fraguas, Francisco J.
Rodríguez Artalejo, Mario
and
Vírseda, Rafael del Vado
2007.
A new generic scheme for functional logic programming with constraints.
Higher-Order and Symbolic Computation,
Vol. 20,
Issue. 1-2,
p.
73.
de Dios Castro, Javier
and
López-Fraguas, Francisco J.
2007.
Extra Variables Can Be Eliminated from Functional Logic Programs.
Electronic Notes in Theoretical Computer Science,
Vol. 188,
Issue. ,
p.
3.
Antoy, Sergio
and
Hanus, Michael
2009.
Set functions for functional logic programming.
p.
73.
Hanus, Michael
2013.
Programming Logics.
Vol. 7797,
Issue. ,
p.
123.
Christiansen, Jan
Hanus, Michael
Reck, Fabian
and
Seidel, Daniel
2013.
A semantics for weakly encapsulated search in functional logic programs.
p.
49.
Antoy, Sergio
and
Hanus, Michael
2016.
Practical Aspects of Declarative Languages.
Vol. 9585,
Issue. ,
p.
65.
ANTOY, SERGIO
and
HANUS, MICHAEL
2017.
Default rules for Curry.
Theory and Practice of Logic Programming,
Vol. 17,
Issue. 2,
p.
121.
Hanus, Michael
2018.
Verifying Fail-Free Declarative Programs.
p.
1.
Hanus, Michael
2024.
Functional and Logic Programming.
Vol. 14659,
Issue. ,
p.
167.
Hanus, Michael
2025.
Programming Languages and Systems.
Vol. 15194,
Issue. ,
p.
109.