E-LIB Suche - Ergebnisse für: Berardi, Stefano

1

Effects of Different Vitamin D Supplementation Schemes in P..:

Corrado, Addolorata ; Rotondo, Cinzia ; Cici, Daniela..
Nutrients. 13 (2021) 2 - p. 380 , 2021

2

Anti-cyclic-citrullinated-protein-antibodies in psoriatic a..:

Rotondo, Cinzia ; Corrado, Addolorata ; Cici, Daniela..
Therapeutic Advances in Chronic Disease. 12 (2021) - p. 204062232098672 , 2021

Link: https://doi.org/10.1177/..

3

Vitamin D and connective tissue diseases:

Berardi, Stefano ; Giardullo, Liberato ; Corrado, Addolorata.
Inflammation Research. 69 (2020) 5 - p. 453-462 , 2020

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

4

MES-integrated digital twin frameworks:

Negri, Elisa ; Berardi, Stefano ; Fumagalli, Luca.
Journal of Manufacturing Systems. 56 (2020) - p. 58-71 , 2020

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

5

An analysis of the Podelski–Rybalchenko termination theorem..:

Berardi, Stefano ; Oliva, Paulo ; Steila, Silvia
Journal of Logic and Computation. 29 (2019) 4 - p. 555-575 , 2019

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

6

Colitis cystica profunda of the rectum with adenomatous dys..:

Rumi, Nicolò ; Cilla, Savino ; De Ninno, Maria...
Radiology Case Reports. 14 (2019) 6 - p. 740-745 , 2019

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

7

Giant angioleiomyoma of uterus: A case report with focus on..:

Pierro, Antonio ; Rotondi, Fabio ; Cilla, Savino...
Radiology Case Reports. 13 (2018) 2 - p. 371-375 , 2018

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

8

Intuitionistic Podelski-Rybalchenko Theorem and Equivalence..:

, In: Coalgebraic Methods in Computer Science; Lecture Notes in Computer Science,

Berardi, Stefano ; Tatsuta, Makoto - p. 13-33 , 2018

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

9

Equivalence of inductive definitions and cyclic proofs unde..:

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

Berardi, Stefano ; Tatsuta, Makoto - p. 1-12 , 2017

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

10

RAMSEY'S THEOREM FOR PAIRS ANDKCOLORS AS A SUB-CLASSICAL PR..:

BERARDI, STEFANO ; STEILA, SILVIA
The Journal of Symbolic Logic. 82 (2017) 2 - p. 737-753 , 2017

Link: https://doi.org/10.1017/..

11

RAMSEY'S THEOREM FOR PAIRS AND K COLORS AS A SUB-CLASSICAL ..:

BERARDI, STEFANO ; STEILA, SILVIA
The Journal of Symbolic Logic. 82 (2017) 2 - p. 737-753 , 2017

Link: https://www.jstor.org/st..

12

An intuitionistic version of Ramsey's Theorem and its use i..:

Berardi, Stefano ; Steila, Silvia
Annals of Pure and Applied Logic. 166 (2015) 12 - p. 1382-1406 , 2015

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

13

Krukenberg Tumors of Gastric Origin: The Rationale of Surgi..:

Rosa, Fausto ; Marrelli, Daniele ; Morgagni, Paolo...
World Journal of Surgery. 40 (2015) 4 - p. 921-928 , 2015

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

14

Preface:

van Bakel, Steffen ; Berardi, Stefano ; Berger, Ulrich
Annals of Pure and Applied Logic. 164 (2013) 6 - p. 589-590 , 2013

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

15

Interactive Realizers: A New Approach to Program Extraction..:

Berardi, Stefano ; de'Liguoro, Ugo
ACM Transactions on Computational Logic. 13 (2012) 2 - p. 1-21 , 2012

Link: https://doi.org/10.1145/..