E-LIB Suche - Ergebnisse für: Salibra, A.

1

Classical Logic with n Truth Values as a Symmetric Many-Val..:

Salibra, A. ; Bucciarelli, A. ; Ledda, A..
Foundations of Science. 28 (2020) 1 - p. 115-142 , 2020

Link: https://doi.org/10.1007/..

2

Graph easy sets of mute lambda terms:

Bucciarelli, A. ; Carraro, A. ; Favro, G..
Theoretical Computer Science. 629 (2016) - p. 51-63 , 2016

Link: https://doi.org/10.1016/..

3

Applying Universal Algebra to Lambda Calculus:

Manzonetto, G. ; Salibra, A.
Journal of Logic and Computation. 20 (2008) 4 - p. 877-915 , 2008

Link: https://doi.org/10.1093/..

4

Easiness in graph models:

Berline, C. ; Salibra, A.
Theoretical Computer Science. 354 (2006) 1 - p. 4-23 , 2006

Link: https://doi.org/10.1016/..

5

A continuum of theories of lambda calculus without semantic:

, In: Proceedings 16th Annual IEEE Symposium on Logic in Computer Science,

Salibra, A. - p. 334,335,336,337,338,339,340,341,342,343 , 2001

Link: https://doi.org/10.1109/..

6

Equational type logic:

Manca, V. ; Salibra, A. ; Scollo, G.
Theoretical Computer Science. 77 (1990) 1-2 - p. 131-159 , 1990

Link: https://doi.org/10.1016/..

7

Boolean-Like Algebras of Finite Dimension: From Boolean Pro..:

, In: Janusz Czelakowski on Logical Consequence; Outstanding Contributions to Logic,

Bucciarelli, Antonio ; Ledda, Antonio ; Paoli, Francesco. - p. 377-400 , 2024

Link: https://doi.org/10.1007/..

8

An algebraic theory of clones:

Bucciarelli, Antonio ; Salibra, Antonino
Algebra universalis. 83 (2022) 2 - p. , 2022

Link: https://doi.org/10.1007/..

9

Atrial fibrillation detection using photoplethysmographic s..:

, In: 2020 42nd Annual International Conference of the IEEE Engineering in Medicine & Biology Society (EMBC),

Corino, Valentina D.A. ; Salibra, Federico ; Mainardi, Luca T. - p. 906-909 , 2020

Link: https://doi.org/10.1109/..

10

Factor Varieties and Symbolic Computation:

, In: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science,

Salibra, Antonino ; Manzonetto, Giulio ; Favro, Giordano - p. 739-748 , 2016

Link: https://dl.acm.org/doi/1..

11

Functional outcomes of transmetatarsal amputation in the di..:

Mandolfino, T. ; Canciglia, A. ; Salibra, M...
Updates in Surgery. 68 (2016) 4 - p. 401-405 , 2016

Link: https://doi.org/10.1007/..

12

Factor varieties:

Salibra, Antonino ; Ledda, Antonio ; Paoli, Francesco
Soft Computing. 21 (2015) 6 - p. 1443-1454 , 2015

Link: https://doi.org/10.1007/..

13

The connection of skew Boolean algebras and discriminator v..:

Cvetko-Vah, Karin ; Salibra, Antonino
Algebra universalis. 73 (2015) 3-4 - p. 369-390 , 2015

Link: https://doi.org/10.1007/..

14

Boolean-like algebras:

Salibra, Antonino ; Ledda, Antonio ; Paoli, Francesco.
Algebra universalis. 69 (2013) 2 - p. 113-138 , 2013

Link: https://doi.org/10.1007/..

15

Easy lambda-terms are not always simple:

Carraro, Alberto ; Salibra, Antonino
RAIRO - Theoretical Informatics and Applications. 46 (2012) 2 - p. 291-314 , 2012

Link: https://doi.org/10.1051/..