Pawe{\l} Parys

Identifiers

• name variant Pawe{\l} Parys 0.60 · backfill

Papers (8)

1. Subsumption in $\mathcal{FL}_{\bot \mathit{reg}}$ with TBoxes Is in ExpTime cs.LO · 2026 · author #3
2. A finer reparameterisation theorem for MSO and FO queries on strings cs.LO · 2025 · author #2
3. Parity Games: Zielonka's Algorithm in Quasi-Polynomial Time cs.FL · 2019 · author #1
4. Intersection Types and Counting cs.LO · 2017 · author #1
5. The Diagonal Problem for Higher-Order Recursion Schemes is Decidable cs.FL · 2016 · author #2
6. Ordered Tree-Pushdown Systems cs.FL · 2015 · author #2
7. The MSO+U theory of (N, <) is undecidable cs.LO · 2015 · author #2
8. Strictness of the Collapsible Pushdown Hierarchy cs.FL · 2012 · author #2

Mentions

• 2512.06466 #2 · arxiv_oai · confidence 0.70 Pawe{\l} Parys
• 1201.3250 #2 · backfill · confidence 0.70 Pawe{\l} Parys

Frequent Coauthors

• Igor Walukiewicz 2 shared papers
• Lorenzo Clemente 2 shared papers
• Sylvain Salvati 2 shared papers
• Alexander Kartzow 1 shared papers
• Barbara Morawska 1 shared papers
• L\^e Th\`anh D\~ung Nguy\^en 1 shared papers
• Micha{\l} Henne 1 shared papers
• Miko{\l}aj Boja\'nczyk 1 shared papers
• Szymon Toru\'nczyk 1 shared papers