Antonino SALIBRA
- Position
- Retired/Resigned Professor
-
salibra@unive.it
- Scientific sector (SSD)
- INFORMATICA [INF/01]
- Website
-
www.unive.it/people/salibra (personal record)
Publications
| Year | Type | Publication |
|---|---|---|
| Year | Type | Publication |
|
|
||
| 2019 | Journal Article |
Antonio Bucciarelli;
Antonino Salibra; On Noncommutative Generalisations of Boolean Algebras in THE ART OF DISCRETE AND APPLIED MATHEMATICS, vol. 2 (ISSN 2590-9770) DOI - ARCA card: 10278/3723703 |
| 2018 | Book Article |
Salibra A., Ledda A., Paoli F. Boolean product representations of algebras via binary polynomials , Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science, Springer International Publishing, vol. 16, pp. 297-321 (ISBN 978-3-319-74771-2) (ISSN 2211-2758) DOI - ARCA card: 10278/3661319 |
| 2018 | Rapporto di ricerca |
Salibra, A., Ledda A., Paoli F. BOOLEAN-LIKE ALGEBRAS OF FINITE DIMENSION , arXiv:1806.06537 - ARCA card: 10278/3703990 |
| 2017 | Journal Article |
Salibra, Antonino; Ledda, Antonio; Paoli, Francesco Factor Varieties in SOFT COMPUTING, vol. 21, pp. 1443-1454 (ISSN 1432-7643) DOI - URL correlato - ARCA card: 10278/3661318 |
| 2016 | Journal Article |
Bucciarelli, Antonio; Carraro, Alberto; Favro, Giordano; Salibra, Antonino Graph easy sets of mute lambda terms in THEORETICAL COMPUTER SCIENCE, vol. 629, pp. 51-63 (ISSN 0304-3975) DOI - ARCA card: 10278/3664684 |
| 2016 | Article in Conference Proceedings |
Salibra, Antonino; Favro, Giordano; Manzonetto, Giulio Factor Varieties and Symbolic Computation in A. Salibra, G. Manzonetto, G. Favro, Proceedings of the 31st Annual ACM-IEEE Symposium on Logic in Computer Science (LICS 2016), 1515 BROADWAY, NEW YORK, NY 10036-9998 USA, ASSOC COMPUTING MACHINERY, pp. 739-748, Convegno: ACM-IEEE Symposium on Logic in Computer Science, 5-8 Luglio 2016 (ISBN 978-1-4503-4391-6) DOI - ARCA card: 10278/3679739 |
| 2015 | Journal Article |
Cvetko Vah, K.; Salibra, Antonino The connection of skew Boolean algebras and discriminator varieties to Church algebras in ALGEBRA UNIVERSALIS, vol. 73, pp. 369-390 (ISSN 0002-5240) DOI - ARCA card: 10278/3421469 |
| 2014 | Article in Conference Proceedings |
Bucciarelli, A.; Carraro, Alberto; Favro, Giordano; Salibra, Antonino A graph easy set of mute lambda terms , Proceedings of 15th Italian Conference on Theoretical Computer Science, CEUR Workshop Proceedings (CEUR-WS.org), vol. 1231, pp. 59-71, Convegno: 15th Italian Conference on Theoretical Computer Science, Settembre 2014 (ISSN 1613-0073) - ARCA card: 10278/40977 |
| 2013 | Journal Article |
A. Salibra; A. Ledda; F. Paoli; T. Kowalski Boolean-like-algebras in ALGEBRA UNIVERSALIS, vol. 69, pp. 113-138 (ISSN 0002-5240) DOI - ARCA card: 10278/34901 |
| 2013 | Journal Article |
A. Ledda; F. Paoli; A. Salibra On semi-boolean-like algebras in ACTA UNIVERSITATIS PALACKIANAE OLOMUCENSIS. FACULTAS RERUM NATURALIUM. MATHEMATICA, vol. 52, pp. 101-120 (ISSN 0231-9721) - ARCA card: 10278/37843 |
| 2013 | Journal Article |
A. Carraro; A. Salibra Ordered models of the lambda calculus in LOGICAL METHODS IN COMPUTER SCIENCE, vol. 9, pp. 1-29 (ISSN 1860-5974) - ARCA card: 10278/38801 |
| 2013 | Article in Conference Proceedings |
A. Bucciarelli; A. Carraro; A. Salibra; Minimal lambda-theories by ultraproducts , Electronic Proceedings in Theoretical Computer Science, [S.l.] : Open Publishing Association, vol. 113, pp. 61-76, Convegno: Proceedings Seventh Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2012), September 29-30, 2012 (ISSN 2075-2180) DOI - ARCA card: 10278/37453 |
| 2013 | Article in Conference Proceedings |
A. Carraro; T. Ehrhard; A. Salibra The stack calculus , Proceedings Seventh Workshop on Logical and Semantic Frameworks, [S.l.] : Open Publishing Association, vol. 113, pp. 93-108, Convegno: Seventh Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2012), September 29-30, 2012 (ISSN 2075-2180) DOI - ARCA card: 10278/37452 |
| 2013 | Abstract in Atti di convegno |
A. Ledda; T. Kowalski; F. Paoli; A. Salibra Boolean like algebras , Proceedings of the 6th Topology, Algebra and Categories in Logic (TACL 2013), Easychair, vol. 25, pp. 141-144, Convegno: 6th Topology, Algebra and Categories in Logic, July 28 - August 1, 2013 - URL correlato - ARCA card: 10278/3260460 |
| 2012 | Journal Article |
A. Carraro; A. Salibra Easy lambda-terms are not always simple in RAIRO. INFORMATIQUE THEORIQUE ET APPLICATIONS, vol. 46, pp. 291-314 (ISSN 0988-3754) DOI - ARCA card: 10278/36003 |
| 2012 | Article in Conference Proceedings |
A. Carraro; A. Salibra On the equational consistency of order-theoretic models of the lambda-calculus in Patrick Cégielski, Arnaud Durand, Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL, CSL 2012, September 3-6, 2012, Fontainebleau, France, LIPIcs 16 Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, pp. 152-166, Convegno: Computer Science Logic (CSL'12) - 21st Annual Conference of the EACSL, CSL 2012, September 3-6, 2012 (ISBN 9783939897422) (ISSN 1868-8969) DOI - ARCA card: 10278/34097 |
| 2012 | Article in Conference Proceedings |
A. Salibra Scott is always simple in B. Rovan, V. Sassone and P. Widmayer, Mathematical Foundations of Computer Science 2012 - 37th International Symposium, MFCS 2012, Berlin, Germany:Springer Verlag Germany, vol. 7464, pp. 31-45, Convegno: 37th International Symposium Mathematical Foundations of Computer Science 2012, August 27-31, 2012 (ISBN 9783642325885) (ISSN 0302-9743) DOI - ARCA card: 10278/34875 |
| 2010 | Journal Article |
MANZONETTO G; SALIBRA A. Applying Universal Algebra to Lambda Calculus in JOURNAL OF LOGIC AND COMPUTATION, vol. 20, pp. 877-915 (ISSN 0955-792X) DOI - ARCA card: 10278/22589 |
| 2010 | Article in Conference Proceedings |
Carraro A.; Ehrhard T.; Salibra A. Exponentials with infinite multiplicities , 19th EACSL Annual Conference on Computer Science Logic, Springer-Verlag Berlin Heidelberg, vol. 6247, pp. 170-184, Convegno: 19th EACSL Annual Conference on Computer Science Logic (ISSN 0302-9743) DOI - ARCA card: 10278/4323 |
| 2010 | Article in Conference Proceedings |
A. Bucciarelli; A. Carraro; T. Ehrhard; A. Salibra On linear information systems , Proceedings First International Workshop on Linearity, Electronic Proceedings in Theoretical Computer Science, vol. 22, pp. 38-48, Convegno: Linearity 2009 (ISSN 2075-2180) DOI - ARCA card: 10278/27540 |
| 2010 | Article in Conference Proceedings |
Carraro A.; Ehrhard T.; Salibra A. Resource Combinatory Algebras , Proceedings 35th International Symposium on Mathematical Foundations of Computer Science, Berlino, Springer-Verlag Berlin Heidelberg, vol. 6281, pp. 233-245, Convegno: 35th International Symposium on Mathematical Foundations of Computer Science (ISSN 0302-9743) - ARCA card: 10278/4236 |
| 2009 | Journal Article |
C. BERLINE; G. MANZONETTO; SALIBRA A. Effective lambda models versus recursively enumerable lambda theories in MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, vol. 19, pp. 897-942 (ISSN 0960-1295) - ARCA card: 10278/31345 |
| 2009 | Article in Conference Proceedings |
MANZONETTO G; SALIBRA A. Lattices of equational theories as Church algebras in Costas Drossos, Pavlos Peppas, and Constantine Tsinakis, Proceedings of Seventh Panhellenic Logic Symposium, Patras (Grecia), Patras University Press, Convegno: Seventh Panhellenic Logic Symposium, July 15-19, 2009 (ISBN 9789605301088) - ARCA card: 10278/22590 |
| 2009 | Article in Conference Proceedings |
CARRARO A; SALIBRA A. Reflexive domains are not complete for the extensional lambda calculus , Proceedings of 24th Annual IEEE Symposium on Logic in Computer Science, IEEE Computer Society Publications, pp. 91-100, Convegno: 24th Annual IEEE Symposium on Logic in Computer Science, 11-14 August, 2009 (ISBN 9780769537467) - ARCA card: 10278/21882 |
| 2008 | Journal Article |
BUCCIARELLI A; SALIBRA A. Graph Lambda Theories in MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, vol. 18, pp. 975-1004 (ISSN 0960-1295) - ARCA card: 10278/29633 |
| 2008 | Article in Conference Proceedings |
MANZONETTO G; SALIBRA A. From Lambda Calculus to Universal Algebra and Back , Proceedings MFCS'08, Germany: Springer Verlag Germany, vol. 5162, pp. 479-490, Convegno: MFCS'08 (ISSN 0302-9743) - ARCA card: 10278/20819 |
| 2007 | Article in Conference Proceedings |
C. BERLINE; G. MANZONETTO; SALIBRA A. Lambda theories of effective lambda models , Proceedings CSL'07, Germany: Springer Verlag Germany, vol. 4646, pp. 268-282, Convegno: CSL'07 (ISSN 0302-9743) - ARCA card: 10278/20857 |
| 2006 | Journal Article |
BERLINE C; SALIBRA A. Easiness in graph models in THEORETICAL COMPUTER SCIENCE, vol. 354, pp. 4-23 (ISSN 0304-3975) - ARCA card: 10278/30116 |
| 2006 | Article in Conference Proceedings |
MANZONETTO G; SALIBRA A. Boolean algebras for lambda calculus , Proceedings of 21th Annual IEEE Symposium on Logic in Computer Science, IEEE Computer Society Press, pp. 317-326, Convegno: 21th Annual IEEE Symposium on Logic in Computer Science, August 12th-15th 2006 (ISBN 9780769526317) - ARCA card: 10278/21881 |
| 2004 | Journal Article |
LUSIN S.; SALIBRA A. The lattice of lambda theories in JOURNAL OF LOGIC AND COMPUTATION, vol. 14, pp. 373-394 (ISSN 0955-792X) - ARCA card: 10278/13860 |
| 2004 | Article in Conference Proceedings |
BUCCIARELLI A.; SALIBRA A. The sensible graph theories of lambda calculus , 19th Annual Symposium in Logic in Computer Science, IEEE Computer Society Press, pp. 276-285, Convegno: 19th Annual IEEE Symposium on Logic in Computer Science (LICS'04), 13-17 Luglio 2004 (ISBN 9780769521923) - ARCA card: 10278/8114 |
| 2003 | Journal Article |
LUSIN S; SALIBRA A. A note on absolutely unorderable combinatory algebras in JOURNAL OF LOGIC AND COMPUTATION, vol. 13, pp. 481-502 (ISSN 0955-792X) - ARCA card: 10278/13810 |
| 2003 | Journal Article |
SALIBRA A. Topological incompleteness and order incompleteness of the lambda calculus in ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, vol. 4, pp. 379-401 (ISSN 1529-3785) DOI - ARCA card: 10278/13809 |
| 2003 | Article in Conference Proceedings |
SALIBRA A. Lambda calculus: models and theories in F. Spoto, G. Scollo, A. Nijhol, Proceeding of the third AMAST workshop on algebraic methods in language processing, TWLT Proceedings Series, University of Twente, vol. 21, pp. 39-54, Convegno: Third AMAST Workshop on Algebraic Methods in Language Processing - ARCA card: 10278/8111 |
| 2003 | Article in Conference Proceedings |
BUCCIARELLI A; SALIBRA A. The minimal graph model of lambda calculus , Proceedings MFCS'03, Germany: Springer Verlag Germany, vol. 2747, pp. 300-307, Convegno: MFCS'03 (ISSN 0302-9743) - ARCA card: 10278/20858 |
| 2001 | Journal Article |
SALIBRA A. Nonmodularity results for lambda calculus in FUNDAMENTA INFORMATICAE, vol. 45, pp. 379-392 (ISSN 0169-2968) - ARCA card: 10278/13872 |
| 2001 | Article in Conference Proceedings |
SALIBRA A. A continuum of theories of lambda calculus without semantics , 16th Annual Symposium in Logic in Computer Science, IEEE Computer Society Press, pp. 334-343, Convegno: 16th Annual IEEE Symposium on Logic in Computer Science (LICS'01), 16-19 Giugno 2001 (ISBN 9780769512815) - ARCA card: 10278/8113 |
| 2001 | Article in Conference Proceedings |
SALIBRA A. Towards lambda calculus order-incompleteness , Electronics Notes in Theoretical Computer Science, Elsevier Science, vol. 50, pp. 147-160, Convegno: Workshop on Bohm Theorem: Applications to Computer Science Theory (BOTH 2001) - ARCA card: 10278/8112 |
| 2001 | Other |
JABARA E.; SALIBRA A. Una nota sui gruppoidi topologici - ARCA card: 10278/4603 |
| 2000 | Journal Article |
SALIBRA A. On the algebraic models of lambda calculus in THEORETICAL COMPUTER SCIENCE, vol. 249, pp. 197-240 (ISSN 0304-3975) - ARCA card: 10278/13858 |
| 1999 | Journal Article |
SALIBRA A.; R.GOLDBLATT A finite equational axiomatization of the functional algebras for the lambda calculus in INFORMATION AND COMPUTATION, vol. 148, pp. 71-130 (ISSN 0890-5401) - ARCA card: 10278/13804 |
| 1998 | Journal Article |
D. PIGOZZI; SALIBRA A. Lambda abstraction algebras: coordinatizing models of lambda calculus in FUNDAMENTA INFORMATICAE, vol. 33, pp. 149-200 (ISSN 0169-2968) - ARCA card: 10278/13805 |
| 1998 | Article in Conference Proceedings |
SALIBRA A. On categorical frames, universal algebra and Boolean algebras with operators in a category in J. Font, R. Jansana, D. Pigozzi, Workshop on Abstract Algebraic Logic, CRM Quaderns, vol. 10, pp. 176-185, Convegno: Workshop on Abstract Algebraic Logic, July 1-5, 1997 - ARCA card: 10278/20859 |
| 1998 | Article in Conference Proceedings |
A. Salibra The variety of lambda abstraction algebras does not admit n-permutable congruences for all n , Proceedings 4th International Seminar RelMiCs, University of Warsaw, pp. 182-187, Convegno: RelMiCs 1998 - ARCA card: 10278/40976 |
| 1996 | Journal Article |
SALIBRA A.; SCOLLO G Interpolation and compacteness in categories of preinstitutions in MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, vol. 6, pp. 261-286 (ISSN 0960-1295) - ARCA card: 10278/13859 |
| 1995 | Journal Article |
D.PIGOZZI; SALIBRA A. Lambda Abstraction algebras: representation theorems in THEORETICAL COMPUTER SCIENCE, vol. 140, pp. 5-52 (ISSN 0304-3975) - ARCA card: 10278/13806 |
| 1995 | Journal Article |
D.PIGOZZI; SALIBRA A. The abstract variable-binding calculus in STUDIA LOGICA, vol. 55, pp. 129-179 (ISSN 0039-3215) - ARCA card: 10278/13807 |
| 1994 | Article in Conference Proceedings |
D. PIGOZZI; SALIBRA A. Dimension-complemented lambda abstraction algebras in M. Nivat, C. Rattray, T. Rus, G. Scollo, Proc. 3rd International Conference on Algebraic Methodology and Software Technology, Springer-Verlag, pp. 131-138, Convegno: Algebraic Methodology and Software technology (AMAST'93), 1993 - ARCA card: 10278/20363 |
| 1993 | Journal Article |
D. Pigozzi; A. Salibra Introduction to lambda abstraction algebras in NOTAS DE LÓGICA MATEMÁTICA, vol. 38, pp. 93-112 (ISSN 0078-2017) - ARCA card: 10278/41394 |
| 1993 | Abstract in Rivista |
A. Salibra; G. Scollo A reduction scema by pre-institution transformations in THE JOURNAL OF SYMBOLIC LOGIC, Association for Symbolic Logic:Department of Math, University of Illinois, 1409 West Green Street:Urbana, IL 61801:(217)333-3350, EMAIL: asl@math.uiuc.edu, INTERNET: link esterno , vol. 58, pp. 1130-1131 (ISSN 0022-4812) - ARCA card: 10278/27367 |
| 1993 | Book Article |
SALIBRA A.; G. SCOLLO Compactness and Lowenheim-Skolem properties in pre-institution categories in C. RAUSZER ED., Algebraic methods in logic and computer science, Warszawa, INSTITUTE OF MATHEMATICS, POLISH ACADEMY OF SCIENCES, Banach Center Publications, vol. 28, pp. 67-94 (ISBN 9788385116929) - ARCA card: 10278/20324 |
| 1993 | Book Article |
D. PIGOZZI; SALIBRA A. Polyadic algebras over non-classical logics in C. RAUSZER ED., Algebraic methods in logic and computer science, Warszawa, NSTITUTE OF MATHEMATICS, POLISH ACADEMY OF SCIENCES, Banach Center Publications, vol. 28, pp. 51-66 (ISBN 9788385116929) - ARCA card: 10278/20323 |
| 1993 | Article in Conference Proceedings |
D. PIGOZZI; SALIBRA A. A representation theorem for lambda abstraction algebras , Proceedings MFCS'93, Spinger-Verlag, vol. 711, pp. 629-639, Convegno: MFCS'93 (ISSN 0302-9743) - ARCA card: 10278/20603 |
| 1993 | Article in Conference Proceedings |
SALIBRA A.; G. SCOLLO A soft stairway to institutions , Proceedings Recent Trends in Data Type Specifications, Germany: Springer Verlag Germany, vol. 655, pp. 310-329, Convegno: Recent Trends in Data Type Specifications (ISSN 0302-9743) - ARCA card: 10278/20364 |
| 1992 | Journal Article |
V. MANCA; SALIBRA A. Soundness and completeness of the Birkhoff equational calculus for many-sorted algebras with possibly empty carrier sets in THEORETICAL COMPUTER SCIENCE, vol. 94, pp. 101-124 (ISSN 0304-3975) DOI - ARCA card: 10278/20860 |
| 1992 | Article in Conference Proceedings |
V. MANCA; SALIBRA A.; G. SCOLLO On the expressiveness of equational type logic in C.M.I. Rattray, R.G. Clarke, The Unified Computation Laboratory: Modelling, Specifications and Tools, Oxford, Oxford University Press, pp. 85-100, Convegno: The Unified Computation Laboratory: Modelling, Specifications and Tools (ISBN 9780198536840) - ARCA card: 10278/20365 |
| 1991 | Abstract in Rivista |
V. Manca; A. Salibra; G. Scollo Introducing equational type logic in THE JOURNAL OF SYMBOLIC LOGIC, Association for Symbolic Logic:Department of Math, University of Illinois, 1409 West Green Street:Urbana, IL 61801:(217)333-3350, EMAIL: asl@math.uiuc.edu, INTERNET: link esterno , vol. 56, pp. 1132-1132 (ISSN 0022-4812) - ARCA card: 10278/4497 |
| 1991 | Article in Conference Proceedings |
SALIBRA A. A general theory of algebras with quantifiers , Algebraic Logic, AMSTERDAM, North-Holland Publishing Co., pp. 573-620, Convegno: Algebraic Logic, 1988 - ARCA card: 10278/20366 |
| 1991 | Article in Conference Proceedings |
V. MANCA; SALIBRA A. On the power of equational calculus: applications and extensions. in H. Andreka, J. D. Monk, and I. Nemeti, Algebraic Logic, Coll. Math. Soc. J. Bolyai, North-Holland Publishing Co., vol. 54, pp. 393-412, Convegno: Algebraic Logic, 1988 - ARCA card: 10278/20367 |
| 1990 | Journal Article |
V. MANCA; SALIBRA A.; G. SCOLLO Equational type logic in THEORETICAL COMPUTER SCIENCE, vol. 77, pp. 131-159 (ISSN 0304-3975) DOI - ARCA card: 10278/13808 |
| 1990 | Article in Conference Proceedings |
V. Manca; A. Salibra Equational calculi for many-sorted algebras with empty carrier sets in B. Rovan, Proc. 15th International Symposium on Mathematical Foundation of Computer Science, Springer, vol. Lecture Notes in Computer Science 452, pp. 423-429, Convegno: MFCS'90 (ISSN 0302-9743) - ARCA card: 10278/23045 |
| 1989 | Article in Conference Proceedings |
V. Manca; A. Salibra; G. Scollo DELTA: a deduction system integrating equational logic and type assignment , Proceedings of the first international conference on algebraic methodology and software technology, pp. 137-140, Convegno: AMAST'89, 23-25 Maggio 1989 - ARCA card: 10278/27363 |
| 1989 | Article in Conference Proceedings |
Manca V.; Salibra A.; Scollo G. On the nature of TELLUS in A. Kreczmar, G. Mirkowska, Proc. 14th International Symposium on Mathematical Foundation of Computer Science, Springer, vol. Lecture Notes in Computer Science 379, pp. 338-349, Convegno: MFCS'89 (ISSN 0302-9743) - ARCA card: 10278/4446 |
| 1986 | Article in Conference Proceedings |
A. Salibra Universal Algebraic Semantics in R. Ferro, A. Zanardo, Atti degli incontri di logica matematica, pp. 421-426, Convegno: X Incontro di Logica Matematica - ARCA card: 10278/27366 |
| 1984 | Journal Article |
V. MANCA; SALIBRA A. First-order theories as many-sorted algebras in NOTRE DAME JOURNAL OF FORMAL LOGIC, vol. 25, pp. 86-94 (ISSN 0029-4527) DOI - ARCA card: 10278/20322 |
| 1983 | Scientific monograph or treatise |
S. Antonelli; V. Manca; A. Salibra Logica del Primo Ordine , Pisa, Editrice Tecnico scientifica - ARCA card: 10278/41395 |
| 1982 | Article in Conference Proceedings |
V. Manca; A. Salibra Algebra universale e logica in computer science , Atti degli incontri di logica matematica, Convegno: Incontri di Logica Matematica - ARCA card: 10278/23098 |