Greco, Giuseppe
2023  results:
?
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
 
?
11

Linear Logic Properly Displayed:

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

Nudging Interventions on Alcohol and Tobacco Consumption in..:

Nurchis, Mario Cesare ; Di Pumpo, Marcello ; Perilli, Alessio..
International Journal of Environmental Research and Public Health.  20 (2023)  3 - p. 1675 , 2023
 
?
15

Multi-Domain Simulation of Integrated Power Electronics Mod..:

, In: 2023 IEEE Vehicle Power and Propulsion Conference (VPPC),
 
1-15