Antonio Gavilanes-Franco

According to our database, Antonio Gavilanes-Franco authored at least 5 papers between 1989 and 1996.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1996

Algebraic Semantics for Functional Logic Programming with Polymorphic Order-Sorted Types.

Jesús Manuel Almendros-Jiménez, Antonio Gavilanes-Franco, Ana Gil-Luezas

Proceedings of the Algebraic and Logic Programming, 5th International Conference, 1996

1992

Reasoning with Higher Order Partial Functions.

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

Proceedings of the Computer Science Logic, 6th Workshop, 1992

1990

A First Order Logic for Partial Functions.

Antonio Gavilanes-Franco, Francisca Lucio-Carrasco

Theor. Comput. Sci., 1990

A First-Order Logic for Partial Recursive Functions.

Antonio Gavilanes-Franco

Proceedings of the Mathematical Foundations of Computer Science 1990, 1990

1989

A First Order Logic for Partial Functions (Extended Abstract).

Francisca Lucio-Carrasco, Antonio Gavilanes-Franco

Proceedings of the STACS 89, 1989