СТ |
A Relatonal Algebra for Functional Logic Deductive Databases |
2003 |
Almendros-Jimenez J. M., Becerra-Teron A. |
|
|
|
Lecture Notes in Computer Science |
18.02.2004 |
СТ |
A Computational Model for Functional Logic Deductive Databases |
2001 |
Almendros-Jimenez J. M., Becerra-Teron A., Sanchez-Hernandez J. |
|
|
|
Lecture Notes in Computer Science |
08.11.2001 |
СТ |
A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs |
2001 |
Almendros-Jimenez J. M., Becerra-Teron A. |
|
|
|
Lecture Notes in Computer Science |
06.04.2001 |
СТ |
Improving Computations in a Typed Functional Logic Language |
1999 |
Almendros-Jimenez J. M. |
|
|
|
Lecture Notes in Computer Science |
05.02.1999 |
СТ |
Algebraic Semantics for Functional Logic Programming with Polymorphic Order-Sorted Types |
1996 |
Almendros-Jimenez J. M., Gavilanes-Franco A., Gil-Luezas A. |
Lecture Notes in Computer Science |
|
|
Algebraic and Logic Programming |
05.11.1996 |