×

zbMATH — the first resource for mathematics

Almendros-Jiménez, Jesús Manuel

Compute Distance To:
Author ID: almendros-jimenez.jesus-manuel Recent zbMATH articles by "Almendros-Jiménez, Jesús Manuel"
Published as: Almendros-Jiménez, Jesús M.; Almendros-Jiménez, J. M.; Almendros-Jiménez, Jesús Manuel; Almendros-Jiménez, Jesús M
Documents Indexed: 11 Publications since 1996, including 1 Book

Publications by Year

Citations contained in zbMATH Open

7 Publications have been cited 12 times in 8 Documents Cited by Year
Automatic partial inversion of inductively sequential functions. Zbl 1226.68024
Almendros-Jiménez, Jesús M.; Vidal, Germán
3
2007
A framework for goal-directed bottom-up evaluation of functional logic programs. Zbl 0977.68580
Almendros-Jiménez, Jesús M.; Becerra-Terón, Antonio
2
2001
A relational algebra for functional logic deductive databases. Zbl 1254.68103
Almendros-Jiménez, Jesús Manuel; Becerra-Terón, Antonio
2
2003
A safe relational calculus for functional logic deductive databases. Zbl 1270.68101
Almendros-Jiménez, Jesús M.; Becerra-Terón, Antonio
2
2003
A model transformation language based on logic programming. Zbl 1303.68037
Almendros-Jiménez, Jesús M.; Iribarne, Luis
1
2013
A computational model for functional logic deductive databases. Zbl 1053.68563
Almendros-Jiménez, Jesús M.; Becerra-Terón, Antonio; Sánchez-Hernández, Jaime
1
2001
Algebraic semantics for functional logic programming with polymorphic order-sorted types. Zbl 1355.68172
Almendros-Jiménez, J. M.; Gavilanes-Franco, A.; Gil-Luezas, A.
1
1996
A model transformation language based on logic programming. Zbl 1303.68037
Almendros-Jiménez, Jesús M.; Iribarne, Luis
1
2013
Automatic partial inversion of inductively sequential functions. Zbl 1226.68024
Almendros-Jiménez, Jesús M.; Vidal, Germán
3
2007
A relational algebra for functional logic deductive databases. Zbl 1254.68103
Almendros-Jiménez, Jesús Manuel; Becerra-Terón, Antonio
2
2003
A safe relational calculus for functional logic deductive databases. Zbl 1270.68101
Almendros-Jiménez, Jesús M.; Becerra-Terón, Antonio
2
2003
A framework for goal-directed bottom-up evaluation of functional logic programs. Zbl 0977.68580
Almendros-Jiménez, Jesús M.; Becerra-Terón, Antonio
2
2001
A computational model for functional logic deductive databases. Zbl 1053.68563
Almendros-Jiménez, Jesús M.; Becerra-Terón, Antonio; Sánchez-Hernández, Jaime
1
2001
Algebraic semantics for functional logic programming with polymorphic order-sorted types. Zbl 1355.68172
Almendros-Jiménez, J. M.; Gavilanes-Franco, A.; Gil-Luezas, A.
1
1996

Citations by Year