BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Paweł Parys
SearchCollections
Map detail
Paweł Parys11 visible / 11 total nodes / 10 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipPaweł ParysAPaweł ParysResearcherCompositionality of the MSO+U LogicWCompositionality of the...preprint / 2020Higher-Order Nonemptiness Step by StepWHigher-Order Nonemptine...preprint / 2020Higher-Order Pushdown Systems with DataWHigher-Order Pushdown S...preprint / 2012Unboundedness for Recursion Schemes: A Simpler Type SystemWUnboundedness for Recur...preprint / 2022Bisimulation Finiteness of Pushdown Systems Is ElementaryWBisimulation Finiteness...preprint / 2020Strictness of the Collapsible Pushdown HierarchyWStrictness of the Colla...preprint / 2012Ordered Tree-Pushdown SystemsWOrdered Tree-Pushdown S...preprint / 2015The Diagonal Problem for Higher-Order Recursion Schemes is DecidableWThe Diagonal Problem fo...preprint / 2016Generalised Quantifiers Based on Rabin-Mostowski IndexWGeneralised Quantifiers...preprint / 2026Universal trees grow inside separating automata: Quasi-polynomial lower bounds for parity gamesWUniversal trees grow in...preprint / 2018
Person10 links

Paweł Parys

Researcher

PaperCompositionality of the MSO+U LogicAuthorship / preprint / 2020PaperHigher-Order Nonemptiness Step by StepAuthorship / preprint / 2020PaperHigher-Order Pushdown Systems with DataAuthorship / preprint / 2012PaperUnboundedness for Recursion Schemes: A Simpler Type SystemAuthorship / preprint / 2022PaperBisimulation Finiteness of Pushdown Systems Is ElementaryAuthorship / preprint / 2020PaperStrictness of the Collapsible Pushdown HierarchyAuthorship / preprint / 2012PaperOrdered Tree-Pushdown SystemsAuthorship / preprint / 2015PaperThe Diagonal Problem for Higher-Order Recursion Schemes is DecidableAuthorship / preprint / 2016

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)