Francisca Lucio-Carrasco

	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)

Coauthor Index

1	Antonio Gavilanes-Franco	[2] [3] [4]
2	Maria Teresa Hortalá-González	[1]
3	Mario Rodríguez-Artalejo	[1] [4]