|
Search the dblp DataBase
Antonio Gavilanes-Franco:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Jesús Manuel Almendros-Jiménez, Antonio Gavilanes-Franco, Ana Gil-Luezas
Algebraic Semantics for Functional Logic Programming with Polymorphic Order-Sorted Types. [Citation Graph (0, 0)][DBLP] ALP, 1996, pp:299-313 [Conf]
- Antonio Gavilanes-Franco, Francisca Lucio-Carrasco, Mario Rodríguez-Artalejo
Reasoning with Higher Order Partial Functions. [Citation Graph (0, 0)][DBLP] CSL, 1992, pp:167-181 [Conf]
- Antonio Gavilanes-Franco
A First-Order Logic for Partial Recursive Functions. [Citation Graph (0, 0)][DBLP] MFCS, 1990, pp:277-284 [Conf]
- Francisca Lucio-Carrasco, Antonio Gavilanes-Franco
A First Order Logic for Partial Functions (Extended Abstract). [Citation Graph (0, 0)][DBLP] STACS, 1989, pp:47-58 [Conf]
- Antonio Gavilanes-Franco, Francisca Lucio-Carrasco
A First Order Logic for Partial Functions. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1990, v:74, n:1, pp:37-69 [Journal]
Search in 0.001secs, Finished in 0.001secs
|