Found: 15
Select item for more details and to access through your institution.
Effects of Different Vitamin D Supplementation Schemes in Post-Menopausal Women: A Monocentric Open-Label Randomized Study.
- Published in:
- Nutrients, 2021, v. 13, n. 2, p. 380, doi. 10.3390/nu13020380
- By:
- Publication type:
- Article
Anti-cyclic-citrullinated-protein-antibodies in psoriatic arthritis patients: how autoimmune dysregulation could affect clinical characteristics, retention rate of methotrexate monotherapy and first line biotechnological drug survival. A single center retrospective study
- Published in:
- Therapeutic Advances in Chronic Disease, 2021, p. 1, doi. 10.1177/2040622320986722
- By:
- Publication type:
- Article
Vitamin D and connective tissue diseases.
- Published in:
- Inflammation Research, 2020, v. 69, n. 5, p. 453, doi. 10.1007/s00011-020-01337-x
- By:
- Publication type:
- Article
analysis of the Podelski–Rybalchenko termination theorem via bar recursion.
- Published in:
- Journal of Logic & Computation, 2019, v. 29, n. 4, p. 555, doi. 10.1093/logcom/exv058
- By:
- Publication type:
- Article
RAMSEY’S THEOREM FOR PAIRS AND K COLORS AS A SUB-CLASSICAL PRINCIPLE OF ARITHMETIC.
- Published in:
- Journal of Symbolic Logic, 2017, v. 82, n. 2, p. 737, doi. 10.1017/jsl.2016.41
- By:
- Publication type:
- Article
Krukenberg Tumors of Gastric Origin: The Rationale of Surgical Resection and Perioperative Treatments in a Multicenter Western Experience.
- Published in:
- World Journal of Surgery, 2016, v. 40, n. 4, p. 921, doi. 10.1007/s00268-015-3326-8
- By:
- Publication type:
- Article
KNOWLEDGE SPACES AND THE COMPLETENESS OF LEARNING STRATEGIES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 1, p. 1, doi. 10.2168/LMCS-10(1:9)2014
- By:
- Publication type:
- Article
The Cholegas Study: safety of prophylactic cholecystectomy during gastrectomy for cancer: preliminary results of a multicentric randomized clinical trial.
- Published in:
- Gastric Cancer, 2013, v. 16, n. 3, p. 370, doi. 10.1007/s10120-012-0195-9
- By:
- Publication type:
- Article
Classical logic as limit completion.
- Published in:
- Mathematical Structures in Computer Science, 2005, v. 15, n. 1, p. 167, doi. 10.1017/s0960129504004529
- By:
- Publication type:
- Article
A generalization of a conservativity theorem for classical versus intuitionistic arithmetic.
- Published in:
- Mathematical Logic Quarterly, 2004, v. 50, n. 1, p. 41, doi. 10.1002/malq.200310074
- By:
- Publication type:
- Article
Approximating Classical Theorems.
- Published in:
- Journal of Logic & Computation, 1998, v. 8, n. 6, p. 839, doi. 10.1093/logcom/8.6.839
- By:
- Publication type:
- Article
A parallel game semantics for Linear Logic.
- Published in:
- Archive for Mathematical Logic, 1997, v. 36, n. 3, p. 189, doi. 10.1007/s001530050061
- By:
- Publication type:
- Article
Pruning Simply Typed λ-terms.
- Published in:
- Journal of Logic & Computation, 1996, v. 6, n. 5, p. 663, doi. 10.1093/logcom/6.5.663
- By:
- Publication type:
- Article
Proof-irrelevance out of excluded-middle and choice in the calculus of constructions.
- Published in:
- Journal of Functional Programming, 1996, v. 6, n. 3, p. 519, doi. 10.1017/S0956796800001829
- By:
- Publication type:
- Article
An application of PER models to program extraction.
- Published in:
- Mathematical Structures in Computer Science, 1993, v. 3, n. 3, p. 309, doi. 10.1017/S0960129500000244
- By:
- Publication type:
- Article