The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Antonino Salibra: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Antonino Salibra
    The variety of lambda abstraction algebras does not admit n-permutable congruences for all n. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 1998, pp:182-187 [Conf]
  2. Don Pigozzi, Antonino Salibra
    Dimension-Complemented Lambda Abstraction Algebras. [Citation Graph (0, 0)][DBLP]
    AMAST, 1993, pp:129-136 [Conf]
  3. Antonino Salibra, Giuseppe Scollo
    A Soft Stairway to Institutions. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1991, pp:310-329 [Conf]
  4. Antonio Bucciarelli, Antonino Salibra
    The Sensible Graph Theories of Lambda Calculus. [Citation Graph (0, 0)][DBLP]
    LICS, 2004, pp:276-285 [Conf]
  5. Giulio Manzonetto, Antonino Salibra
    Boolean Algebras for Lambda Calculus. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:317-326 [Conf]
  6. Antonino Salibra
    A Continuum of Theories of Lambda Calculus without Semantics. [Citation Graph (0, 0)][DBLP]
    LICS, 2001, pp:334-346 [Conf]
  7. Antonio Bucciarelli, Antonino Salibra
    The Minimal Graph Model of Lambda Calculus. [Citation Graph (0, 0)][DBLP]
    MFCS, 2003, pp:300-307 [Conf]
  8. Vincenzo Manca, Antonino Salibra
    Equational Calculi for Many-Sorted Algebras with Empty Carrier Sets. [Citation Graph (0, 0)][DBLP]
    MFCS, 1990, pp:423-429 [Conf]
  9. Vincenzo Manca, Antonino Salibra, Giuseppe Scollo
    On the Nature of TELLUS (a Typed Equational Logic Look over Uniform Specification). [Citation Graph (0, 0)][DBLP]
    MFCS, 1989, pp:338-349 [Conf]
  10. Don Pigozzi, Antonino Salibra
    A Representation Theorem for Lambda Abstraction Algebras. [Citation Graph (0, 0)][DBLP]
    MFCS, 1993, pp:629-639 [Conf]
  11. Antonino Salibra
    Towards Lambda Calculus Order-Incompleteness. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:50, n:2, pp:- [Journal]
  12. Don Pigozzi, Antonino Salibra
    Lambda Abstraction Algebras: Coordinatizing Models of Lambda Calculus. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1997, v:32, n:1, pp:47-90 [Journal]
  13. Don Pigozzi, Antonino Salibra
    Lambda Abstraction Algebras: Coordinatizing Models of Lambda Calculus. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1998, v:33, n:2, pp:149-200 [Journal]
  14. Antonino Salibra
    Nonmodularity Results for Lambda Calculus. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2001, v:45, n:4, pp:379-392 [Journal]
  15. Antonino Salibra, Robert Goldblatt
    A Finite Equational Axiomatization of the Functional Algebras for the Lambda Calculus. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1999, v:148, n:1, pp:71-130 [Journal]
  16. Stefania Lusin, Antonino Salibra
    A Note on Absolutely Unorderable Combinatory Algebras. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2003, v:13, n:4, pp:481-502 [Journal]
  17. Stefania Lusin, Antonino Salibra
    The Lattice of Lambda Theories. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2004, v:14, n:3, pp:373-394 [Journal]
  18. Antonino Salibra, Giuseppe Scollo
    Interpolation and Compactness in Categories of Pre-Institutions. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1996, v:6, n:3, pp:261-286 [Journal]
  19. Don Pigozzi, Antonino Salibra
    The abstract variable-binding calculus. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1995, v:55, n:1, pp:129-179 [Journal]
  20. Chantal Berline, Antonino Salibra
    Easiness in graph models. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:354, n:1, pp:4-23 [Journal]
  21. Vincenzo Manca, Antonino Salibra
    Soundness and Completeness of the Birkhoff Equational Calculus for Many-Sorted Algebras with Possibly Empty Carrier Sets. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1992, v:94, n:1, pp:101-124 [Journal]
  22. Vincenzo Manca, Antonino Salibra, Giuseppe Scollo
    Equational Type Logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1990, v:77, n:1&2, pp:131-159 [Journal]
  23. Don Pigozzi, Antonino Salibra
    Lambda Abstraction Algebras: Representation Theorems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:140, n:1, pp:5-52 [Journal]
  24. Antonino Salibra
    On the algebraic models of lambda calculus. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2000, v:249, n:1, pp:197-240 [Journal]
  25. Antonino Salibra
    Topological incompleteness and order incompleteness of the lambda calculu. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2003, v:4, n:3, pp:379-401 [Journal]
  26. Chantal Berline, Giulio Manzonetto, Antonino Salibra
    Lambda Theories of Effective Lambda Models. [Citation Graph (0, 0)][DBLP]
    CSL, 2007, pp:268-282 [Conf]

  27. Exponentials with Infinite Multiplicities. [Citation Graph (, )][DBLP]


  28. Reflexive Scott Domains are Not Complete for the Extensional Lambda Calculus. [Citation Graph (, )][DBLP]


  29. From lambda-Calculus to Universal Algebra and Back. [Citation Graph (, )][DBLP]


  30. Resource Combinatory Algebras. [Citation Graph (, )][DBLP]


  31. Effective lambda-models vs recursively enumerable lambda-theories [Citation Graph (, )][DBLP]


  32. On Linear Information Systems [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.304secs
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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002