VLDB 2026 Research / reviewers in the wild / expert
Valentin Müller
dblp:378/3214
· DBLP profile ↗
2ranked-venue papers
2as first author
2since 2021 · last 2024
0009-0008-7251-0831ORCID · reported
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 2 · 2 first-author · 2 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | Natural Deduction, Normalization and Subformula Property for Kreisel-Putnam Logic
Valentin Müller |
AiML | 1 |
| 2024 | Labelled Sequent Calculi for Inquisitive Modal Logics
Valentin Müller |
WoLLIC | 1 |