Francisca Lucio-Carrasco

Reasoning with Higher Order Partial Functions

Mario Rodríguez-Artalejo, Antonio Gavilanes-Franco, Francisca Lucio-Carrasco, 1992, CSL.

Some General Incompleteness Results for Partial Correctness Logics

Francisca Lucio-Carrasco, M. Teresa Hortalá-González, Mario Rodríguez-Artalejo, 1988, Inf. Comput..

A First Order Logic for Partial Functions (Extended Abstract)

Antonio Gavilanes-Franco, Francisca Lucio-Carrasco, 1989, STACS.

A First Order Logic for Partial Functions

Antonio Gavilanes-Franco, Francisca Lucio-Carrasco, Antonio Gavilanes-Franco, 1990, Theor. Comput. Sci..