Antonino SALIBRA
- Qualifica
- Professore in quiescenza
-
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 |