Greco, Giuseppe
2291  Ergebnisse:
Personensuche X
?
2

Algebraic Proof Theory for LE-logics:

Greco, Giuseppe ; Jipsen, Peter ; Liang, Fei..
ACM Transactions on Computational Logic.  25 (2024)  1 - p. 1-37 , 2024
 
?
4

Sustainable and cost-effective edge oxidized graphite/PEDOT..:

Greco, Giuseppe ; Giuri, Antonella ; Gambino, Salvatore...
Journal of Science: Advanced Materials and Devices.  9 (2024)  2 - p. 100723 , 2024
 
?
5

Towards aluminum oxide/aluminum nitride insulating stacks o..:

Galizia, Bruno ; Fiorenza, Patrick ; Schilirò, Emanuela...
Materials Science in Semiconductor Processing.  174 (2024)  - p. 108244 , 2024
 
?
 
?
13

Linear Logic Properly Displayed:

Greco, Giuseppe ; Palmigiano, Alessandra
ACM Transactions on Computational Logic.  24 (2023)  2 - p. 1-56 , 2023
 
?
15

Labelled Calculi for the Logics of Rough Concepts:

, In: Logic and Its Applications; Lecture Notes in Computer Science,
 
1-15