The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Stefano Baratella: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Stefano Baratella, Andrea Masini
    An approach to infinitary temporal proof theory. [Citation Graph (0, 0)][DBLP]
    Arch. Math. Log., 2004, v:43, n:8, pp:965-990 [Journal]
  2. Stefano Baratella, Siu-Ah Ng
    Neocompact quantifier elimination in structures based on Banach spaces. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2001, v:111, n:1-2, pp:115-143 [Journal]
  3. Stefano Baratella, Andrea Masini
    A proof-theoretic investigation of a logic of positions. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2003, v:123, n:1-3, pp:135-162 [Journal]
  4. Stefano Baratella, Gilberto Filé
    A completeness result for SLDNF resoultion. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1988, v:35, n:, pp:97-105 [Journal]
  5. Stefano Baratella
    Models of Clark's completion for some classes of logic programs. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1991, v:14, n:3, pp:323-337 [Journal]
  6. Stefano Baratella, Andrea Masini
    A Way of Making World Quantification Explicit. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2004, v:12, n:3, pp:199-225 [Journal]
  7. Stefano Baratella
    A Modal Approach to Negation as Failure Rule. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1994, v:4, n:4, pp:359-373 [Journal]
  8. Stefano Baratella, Stefano Berardi
    Approximating Classical Theorems. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1998, v:8, n:6, pp:839-854 [Journal]
  9. Stefano Baratella, Andrea Masini
    An infinitary variant of Metric Temporal Logic over dense time domains. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2004, v:50, n:3, pp:249-257 [Journal]
  10. Stefano Baratella, Siu-Ah Ng
    Consequences of neocompact quantifier elimination. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2003, v:49, n:2, pp:150-162 [Journal]
  11. Ruggero Ferro, Stefano Baratella
    A Theory of Sets with the Negation of the Axiom of Inflnity. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1993, v:39, n:, pp:338-352 [Journal]
  12. Ruggero Ferro, Stefano Baratella
    Non Standard Regular Finite Set Theory. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1995, v:41, n:, pp:161-172 [Journal]
  13. Stefano Baratella, Andrea Masini
    A note on unbounded metric temporal logic over dense time domains. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2006, v:52, n:5, pp:450-456 [Journal]
  14. Stefano Baratella
    A Completeness Result for Allowed Semi-Strict Programs with Respect to Well-Behaved and Allowed Query Clauses. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1992, v:97, n:1, pp:143-156 [Journal]
  15. Stefano Baratella
    A Class of Programs for which SLDNF Resolution and NAF Rule are Complete. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:120, n:1, pp:83-99 [Journal]

  16. The theory of [(Z)\vec]C(2)2{\vec Z}C(2)^2-lattices is decidable. [Citation Graph (, )][DBLP]


  17. A parallel game semantics for Linear Logic. [Citation Graph (, )][DBLP]


Search in 0.002secs, 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