Antonino SALIBRA

Qualifica
Professore in quiescenza
E-mail
salibra@unive.it
SSD
INFORMATICA [INF/01]
Sito web
www.unive.it/persone/salibra (scheda personale)

Pubblicazioni

Anno Tipologia Pubblicazione
Anno Tipologia Pubblicazione
2019 Articolo su rivista Antonio Bucciarelli; Antonino Salibra; On Noncommutative Generalisations of Boolean Algebras in THE ART OF DISCRETE AND APPLIED MATHEMATICS, vol. 2 (ISSN 2590-9770)
DOI - Scheda ARCA: 10278/3723703
2018 Articolo su libro 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 - Scheda ARCA: 10278/3661319
2018 Rapporto di ricerca Salibra, A., Ledda A., Paoli F. BOOLEAN-LIKE ALGEBRAS OF FINITE DIMENSION , arXiv:1806.06537
- Scheda ARCA: 10278/3703990
2017 Articolo su rivista Salibra, Antonino; Ledda, Antonio; Paoli, Francesco Factor Varieties in SOFT COMPUTING, vol. 21, pp. 1443-1454 (ISSN 1432-7643)
DOI - URL correlato - Scheda ARCA: 10278/3661318
2016 Articolo su rivista 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 - Scheda ARCA: 10278/3664684
2016 Articolo in Atti di convegno 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 - Scheda ARCA: 10278/3679739
2015 Articolo su rivista 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 - Scheda ARCA: 10278/3421469
2014 Articolo in Atti di convegno 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)
- Scheda ARCA: 10278/40977
2013 Articolo su rivista A. Salibra; A. Ledda; F. Paoli; T. Kowalski Boolean-like-algebras in ALGEBRA UNIVERSALIS, vol. 69, pp. 113-138 (ISSN 0002-5240)
DOI - Scheda ARCA: 10278/34901
2013 Articolo su rivista 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)
- Scheda ARCA: 10278/37843
2013 Articolo su rivista A. Carraro; A. Salibra Ordered models of the lambda calculus in LOGICAL METHODS IN COMPUTER SCIENCE, vol. 9, pp. 1-29 (ISSN 1860-5974)
- Scheda ARCA: 10278/38801
2013 Articolo in Atti di convegno 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 - Scheda ARCA: 10278/37453
2013 Articolo in Atti di convegno 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 - Scheda ARCA: 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 - Scheda ARCA: 10278/3260460
2012 Articolo su rivista 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 - Scheda ARCA: 10278/36003
2012 Articolo in Atti di convegno 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 - Scheda ARCA: 10278/34097
2012 Articolo in Atti di convegno 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 - Scheda ARCA: 10278/34875
2010 Articolo su rivista 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 - Scheda ARCA: 10278/22589
2010 Articolo in Atti di convegno 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 - Scheda ARCA: 10278/4323
2010 Articolo in Atti di convegno 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 - Scheda ARCA: 10278/27540
2010 Articolo in Atti di convegno 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)
- Scheda ARCA: 10278/4236
2009 Articolo su rivista 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)
- Scheda ARCA: 10278/31345
2009 Articolo in Atti di convegno 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)
- Scheda ARCA: 10278/22590
2009 Articolo in Atti di convegno 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)
- Scheda ARCA: 10278/21882
2008 Articolo su rivista BUCCIARELLI A; SALIBRA A. Graph Lambda Theories in MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, vol. 18, pp. 975-1004 (ISSN 0960-1295)
- Scheda ARCA: 10278/29633
2008 Articolo in Atti di convegno 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)
- Scheda ARCA: 10278/20819
2007 Articolo in Atti di convegno 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)
- Scheda ARCA: 10278/20857
2006 Articolo su rivista BERLINE C; SALIBRA A. Easiness in graph models in THEORETICAL COMPUTER SCIENCE, vol. 354, pp. 4-23 (ISSN 0304-3975)
- Scheda ARCA: 10278/30116
2006 Articolo in Atti di convegno 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)
- Scheda ARCA: 10278/21881
2004 Articolo su rivista LUSIN S.; SALIBRA A. The lattice of lambda theories in JOURNAL OF LOGIC AND COMPUTATION, vol. 14, pp. 373-394 (ISSN 0955-792X)
- Scheda ARCA: 10278/13860
2004 Articolo in Atti di convegno 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)
- Scheda ARCA: 10278/8114
2003 Articolo su rivista 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)
- Scheda ARCA: 10278/13810
2003 Articolo su rivista 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 - Scheda ARCA: 10278/13809
2003 Articolo in Atti di convegno 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
- Scheda ARCA: 10278/8111
2003 Articolo in Atti di convegno 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)
- Scheda ARCA: 10278/20858
2001 Articolo su rivista SALIBRA A. Nonmodularity results for lambda calculus in FUNDAMENTA INFORMATICAE, vol. 45, pp. 379-392 (ISSN 0169-2968)
- Scheda ARCA: 10278/13872
2001 Articolo in Atti di convegno 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)
- Scheda ARCA: 10278/8113
2001 Articolo in Atti di convegno 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)
- Scheda ARCA: 10278/8112
2001 Altro JABARA E.; SALIBRA A. Una nota sui gruppoidi topologici
- Scheda ARCA: 10278/4603
2000 Articolo su rivista SALIBRA A. On the algebraic models of lambda calculus in THEORETICAL COMPUTER SCIENCE, vol. 249, pp. 197-240 (ISSN 0304-3975)
- Scheda ARCA: 10278/13858
1999 Articolo su rivista 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)
- Scheda ARCA: 10278/13804
1998 Articolo su rivista D. PIGOZZI; SALIBRA A. Lambda abstraction algebras: coordinatizing models of lambda calculus in FUNDAMENTA INFORMATICAE, vol. 33, pp. 149-200 (ISSN 0169-2968)
- Scheda ARCA: 10278/13805
1998 Articolo in Atti di convegno 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
- Scheda ARCA: 10278/20859
1998 Articolo in Atti di convegno 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
- Scheda ARCA: 10278/40976
1996 Articolo su rivista 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)
- Scheda ARCA: 10278/13859
1995 Articolo su rivista D.PIGOZZI; SALIBRA A. Lambda Abstraction algebras: representation theorems in THEORETICAL COMPUTER SCIENCE, vol. 140, pp. 5-52 (ISSN 0304-3975)
- Scheda ARCA: 10278/13806
1995 Articolo su rivista D.PIGOZZI; SALIBRA A. The abstract variable-binding calculus in STUDIA LOGICA, vol. 55, pp. 129-179 (ISSN 0039-3215)
- Scheda ARCA: 10278/13807
1994 Articolo in Atti di convegno 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
- Scheda ARCA: 10278/20363
1993 Articolo su rivista D. Pigozzi; A. Salibra Introduction to lambda abstraction algebras in NOTAS DE LÓGICA MATEMÁTICA, vol. 38, pp. 93-112 (ISSN 0078-2017)
- Scheda ARCA: 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)
- Scheda ARCA: 10278/27367
1993 Articolo su libro 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)
- Scheda ARCA: 10278/20324
1993 Articolo su libro 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)
- Scheda ARCA: 10278/20323
1993 Articolo in Atti di convegno 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)
- Scheda ARCA: 10278/20603
1993 Articolo in Atti di convegno 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)
- Scheda ARCA: 10278/20364
1992 Articolo su rivista 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 - Scheda ARCA: 10278/20860
1992 Articolo in Atti di convegno 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)
- Scheda ARCA: 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)
- Scheda ARCA: 10278/4497
1991 Articolo in Atti di convegno SALIBRA A. A general theory of algebras with quantifiers , Algebraic Logic, AMSTERDAM, North-Holland Publishing Co., pp. 573-620, Convegno: Algebraic Logic, 1988
- Scheda ARCA: 10278/20366
1991 Articolo in Atti di convegno 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
- Scheda ARCA: 10278/20367
1990 Articolo su rivista V. MANCA; SALIBRA A.; G. SCOLLO Equational type logic in THEORETICAL COMPUTER SCIENCE, vol. 77, pp. 131-159 (ISSN 0304-3975)
DOI - Scheda ARCA: 10278/13808
1990 Articolo in Atti di convegno 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)
- Scheda ARCA: 10278/23045
1989 Articolo in Atti di convegno 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
- Scheda ARCA: 10278/27363
1989 Articolo in Atti di convegno 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)
- Scheda ARCA: 10278/4446
1986 Articolo in Atti di convegno 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
- Scheda ARCA: 10278/27366
1984 Articolo su rivista 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 - Scheda ARCA: 10278/20322
1983 Monografia o trattato scientifico S. Antonelli; V. Manca; A. Salibra Logica del Primo Ordine , Pisa, Editrice Tecnico scientifica
- Scheda ARCA: 10278/41395
1982 Articolo in Atti di convegno V. Manca; A. Salibra Algebra universale e logica in computer science , Atti degli incontri di logica matematica, Convegno: Incontri di Logica Matematica
- Scheda ARCA: 10278/23098