Antonio Gavilanes-Franco

Publication Activity (10 Years)

Years Active: 1989-1996
Publications (10 Years): 0

Publications

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)
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)
Antonio Gavilanes-Franco
A First-Order Logic for Partial Recursive Functions. MFCS (1990)
Francisca Lucio-Carrasco, Antonio Gavilanes-Franco
A First Order Logic for Partial Functions (Extended Abstract). STACS (1989)