|
1 |
Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
Lyon, Timothy. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
2 |
Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations
Lyon, Timothy. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
3 |
II. The Advocate’s Office and Royal Justice in East Francia and the German Kingdom, c. 800–c. 1125
Enthalten in Savigny-Stiftung: Zeitschrift der Savigny-Stiftung für Rechtsgeschichte / Germanistische Abteilung Bd. 142, 2025, Nr. 1: 78-135. 58 S.
|
|
|
|
4 |
Evaluation of biochemical algorithms to screen dysbetalipoproteinemia in ε2ε2 and rare APOE variants carriers
Enthalten in Clinical chemistry and laboratory medicine Bd. 63, 2025, Nr. 2: 356-366. 11 S.
|
|
|
|
5 |
Impact of Working Conditions and Other Determinants on the Risk of Substance Misuse among Healthcare Residents: Results of a Cross-Sectional Study
Enthalten in European addiction research Bd. 30, 2025, Nr. 6: 390-401. 12 S.
|
|
|
|
6 |
Apocalyptic Letter Writing in Early Christianity: The Letter of Lyon and Vienne and its Reception of the Apocalypse of John
Enthalten in Zeitschrift für antikes Christentum Bd. 29, 2025, Nr. 1: 1-25. 25 S.
|
|
|
|
7 |
Profiles of quality of life among US young adult cancer survivors and their associations with potential psychosocial intervention targets of hope and psychological flexibility
Enthalten in Quality of life research 28.6.2025: 1-12
|
|
|
|
8 |
Self-powered rapid antigen-specific T-cell response assay for Mycobacterium tuberculosis infections
Enthalten in Nature biomedical engineering 27.6.2025: 1-11
|
|
|
|
9 |
Training the Next Generation of Researchers to Advance Cancer Health Equity: Five Years of Experience from the Florida-California Cancer Research, Education and Engagement (CaRE2) Health Equity Center
Enthalten in Journal of cancer education 26.6.2025: 1-9
|
|
|
|
10 |
Long term monitoring of the geoelectric field in the UK – 2012–2024
Enthalten in EGUsphere 06.06.2025: 1-29. 29 S.
|
|
Administration
