| |
| 1996 | ||
|---|---|---|
| 5 | Jesús Manuel Almendros-Jiménez, Antonio Gavilanes-Franco, Ana Gil-Luezas: Algebraic Semantics for Functional Logic Programming with Polymorphic Order-Sorted Types. ALP 1996: 299-313 | |
| 1992 | ||
| 4 | Antonio Gavilanes-Franco, Francisca Lucio-Carrasco, Mario Rodríguez-Artalejo: Reasoning with Higher Order Partial Functions. CSL 1992: 167-181 | |
| 1990 | ||
| 3 | Antonio Gavilanes-Franco: A First-Order Logic for Partial Recursive Functions. MFCS 1990: 277-284 | |
| 2 | Antonio Gavilanes-Franco, Francisca Lucio-Carrasco: A First Order Logic for Partial Functions. Theor. Comput. Sci. 74(1): 37-69 (1990) | |
| 1989 | ||
| 1 | Francisca Lucio-Carrasco, Antonio Gavilanes-Franco: A First Order Logic for Partial Functions (Extended Abstract). STACS 1989: 47-58 | |
| 1 | Jesús Manuel Almendros-Jiménez | [5] |
| 2 | Ana Gil-Luezas | [5] |
| 3 | Francisca Lucio-Carrasco | [1] [2] [4] |
| 4 | Mario Rodríguez-Artalejo | [4] |