| |
| 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, Francisca Lucio-Carrasco: A First Order Logic for Partial Functions. Theor. Comput. Sci. 74(1): 37-69 (1990) | |
| 1989 | ||
| 2 | Francisca Lucio-Carrasco, Antonio Gavilanes-Franco: A First Order Logic for Partial Functions (Extended Abstract). STACS 1989: 47-58 | |
| 1988 | ||
| 1 | Maria Teresa Hortalá-González, Francisca Lucio-Carrasco, Mario Rodríguez-Artalejo: Some General Incompleteness Results for Partial Correctness Logics Inf. Comput. 79(1): 22-42 (1988) | |
| 1 | Antonio Gavilanes-Franco | [2] [3] [4] |
| 2 | Maria Teresa Hortalá-González | [1] |
| 3 | Mario Rodríguez-Artalejo | [1] [4] |