
Search the dblp DataBase
Francisco M. García Olmedo:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Francisco M. García Olmedo, Antonio J. Rodríguez Salas
Algebraization of the Threevalued BCKlogic. [Citation Graph (0, 0)][DBLP] Math. Log. Q., 2002, v:48, n:2, pp:163178 [Journal]
 Francisco M. García Olmedo, Antonio J. Rodríguez Salas
Negation and BCKalgebras. [Citation Graph (0, 0)][DBLP] Math. Log. Q., 2003, v:49, n:4, pp:336346 [Journal]
 Antonio J. Rodríguez Salas, Francisco M. García Olmedo
Temporal Algebras, Pretemporal Algebras, and Modal Algebras: A Relation between Time and Necessity. [Citation Graph (0, 0)][DBLP] Math. Log. Q., 1995, v:41, n:, pp:2438 [Journal]
 Antonio J. Rodríguez Salas, Francisco M. García Olmedo
A Structure Theorem for Free Temporal Algebras. [Citation Graph (0, 0)][DBLP] Math. Log. Q., 1995, v:41, n:, pp:249256 [Journal]
 Francisco M. García Olmedo, Antonio J. Rodríguez Salas
Linearization of the BCKlogic. [Citation Graph (0, 0)][DBLP] Studia Logica, 2000, v:65, n:1, pp:3151 [Journal]
Search in 0.226secs, Finished in 0.227secs
