Francisca Lucio-Carrasco

Publication Activity (10 Years)

Years Active: 1988-1992
Publications (10 Years): 0

Publications

Antonio Gavilanes-Franco, Francisca Lucio-Carrasco, Mario Rodríguez-Artalejo
Reasoning with Higher Order Partial Functions. CSL (1992)
Antonio Gavilanes-Franco, Francisca Lucio-Carrasco
A First Order Logic for Partial Functions. Theor. Comput. Sci. 74 (1) (1990)
Francisca Lucio-Carrasco, Antonio Gavilanes-Franco
A First Order Logic for Partial Functions (Extended Abstract). STACS (1989)
Maria Teresa Hortalá-González, Francisca Lucio-Carrasco, Mario Rodríguez-Artalejo
Some General Incompleteness Results for Partial Correctness Logics Inf. Comput. 79 (1) (1988)