|
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 |
Revisiting the STEM Acronym: Toward Conceptual Clarity
Enthalten in Canadian journal of science, mathematics and technology education 30.7.2025: 1-12
|
|
|
|
8 |
HPV vaccination in community health organizations: what is going right and how can it be replicated?
Enthalten in Cancer causes & control 28.7.2025: 1-13
|
|
|
|
9 |
Student Perceptions of a Whole Child School Screening Instrument: An Initial Step in Attending to Consequential Validity
Enthalten in School mental health 14.7.2025: 1-14
|
|
|
|
10 |
ByzRev 07.2025.059: Flore Kimmel-Clauzet, Définir l’épopée en Grèce ancienne: contribution à une histoire de l’idée d’épopée d’Hérodote à Tzetzès
Enthalten in The Byzantine review Bd. 7, 2025
|
|
Administration
