Statistics
Publications
1
Citations
26
H-Index
1
Active since
1990
Affiliations
Universidad Complutense de Madrid(Current)
Antonio Gavilanes-Franco is an author at Universidad Complutense de Madrid specializing in computer science, logic, and mathematics.
Publications per year
1990–1990
1
1
A first order logic for partial functions
Antonio Gavilanes-Franco · Theoretical Computer Science · 1990 · 26 citations
1–1 of 1