pith. sign in

Grzegorz Fabia\'nski

Identifiers

No identifiers captured yet.

Papers (2)

  1. Polyregular equivalence is undecidable in higher-order types cs.PL · 2026 · author #2
  2. Progressive Algorithms for Domination and Independence cs.LO · 2018 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors