Antonio Gavilanes-Franco

	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

Coauthor Index

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]

Colors in the list of coauthors