The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Anna Bucalo: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Anna Bucalo, Giuseppe Rosolini
    Lifting. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1997, pp:281-292 [Conf]
  2. Anna Bucalo, Giuseppe Rosolini
    Completions, comonoids, and topological spaces. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2006, v:137, n:1-3, pp:104-125 [Journal]
  3. Anna Bucalo, Furio Honsell, Marino Miculan, Ivan Scagnetto, Martin Hoffman
    Consistency of the theory of contexts. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2006, v:16, n:3, pp:327-372 [Journal]
  4. Fabio Bellissima, Anna Bucalo
    A Distinguishable Model Theorem for the Minimal US-Tense Logic. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1995, v:36, n:4, pp:585-594 [Journal]
  5. Anna Bucalo, Carsten Führmann, Alex K. Simpson
    An equational notion of lifting monad. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:294, n:1/2, pp:31-60 [Journal]
  6. Anna Bucalo, Carsten Führmann, Alex K. Simpson
    Equational Lifting Monads. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:29, n:, pp:- [Journal]

Search in 0.003secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002