VLDB 2026 Research / reviewers in the wild / expert
Piotr Wojtylak
dblp:33/3498
· DBLP profile ↗
4ranked-venue papers
1as first author
2since 2021 · last 2025
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 4 · 1 first-author · 2 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Unification types and union splittings in intermediate logics
Wojciech Dzik, Slawomir Kost, Piotr Wojtylak |
Ann. Pure Appl. Log. | 3 |
| 2022 | Finitary unification in locally tabular modal logics characterized
Wojciech Dzik, Slawomir Kost, Piotr Wojtylak |
Ann. Pure Appl. Log. | 3 |
| 2008 | Generalizing proofs in monadic languages
Matthias Baaz, Piotr Wojtylak |
Ann. Pure Appl. Log. | 2 |
| 1989 | Independent Axiomatizability of Sets of Sentences
Piotr Wojtylak |
Ann. Pure Appl. Log. | 1 |