|
Search the dblp DataBase
Antonio Gavilanes:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Pedro J. Martín, Antonio Gavilanes
Semantic Tableaux for a Logic with Preorders and Dynamic Sorts. [Citation Graph (0, 0)][DBLP] APPIA-GULP-PRODE, 1996, pp:139-154 [Conf]
- Antonio Gavilanes, Javier Leach, Pedro J. Martín, Susana Nieva
Reasoning with Preorders and Dynamic Sorts Using Free Variable Tableaux. [Citation Graph (0, 0)][DBLP] AISMC, 1996, pp:365-379 [Conf]
- Antonio Gavilanes, Javier Leach, Susana Nieva
Free Variable Tableaux for a Many Sorted Logic with Preorders. [Citation Graph (0, 0)][DBLP] AMAST, 1996, pp:102-116 [Conf]
- Pedro J. Martín, Antonio Gavilanes
Simultaneous Rigid Sorted Unification. [Citation Graph (0, 0)][DBLP] JELIA, 2000, pp:193-208 [Conf]
- Pedro J. Martín, Antonio Gavilanes
Monotonic Preorders for Free Variable Tableaux. [Citation Graph (0, 0)][DBLP] TABLEAUX, 2000, pp:309-323 [Conf]
- Pedro J. Martín, Antonio Gavilanes, Javier Leach
Free Variable Tableaux for a Logic with Term Declarations. [Citation Graph (0, 0)][DBLP] TABLEAUX, 1998, pp:202-216 [Conf]
- Pedro J. Martín, Antonio Gavilanes
Free-variable Tableaux for Monotonic PreordersI. [Citation Graph (0, 0)][DBLP] Logic Journal of the IGPL, 2001, v:9, n:6, pp:- [Journal]
- Pedro J. Martín, Antonio Gavilanes, Javier Leach
Tableau Methods for a Logic with Term Declarations. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 2000, v:29, n:2, pp:343-372 [Journal]
- Pedro J. Martín, Antonio Gavilanes
Simultaneous Rigid Sorted Unification for Tableaux. [Citation Graph (0, 0)][DBLP] Studia Logica, 2002, v:72, n:1, pp:31-59 [Journal]
- J. García, Antonio Gavilanes, A. Gil, Pedro J. Martín
CGR: a Tool for Programming Using Schemes. [Citation Graph (0, 0)][DBLP] COMPSAC (2), 2007, pp:347-354 [Conf]
CUDA Solutions for the SSSP Problem. [Citation Graph (, )][DBLP]
A Tool for Automatic Code Generation from Schemas. [Citation Graph (, )][DBLP]
A Fully GPU-Implemented Rigid Body Simulator. [Citation Graph (, )][DBLP]
A tool for teaching interactions between design patterns. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.002secs
|