Mikołaj Bojańczyk
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Bartek Klinonce
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Polyregular functions on unordered trees of bounded height | POPL 2024 | 2024-01-14 |
Proves that equivalence of injective first‑order interpretations (polyregular functions) on unordered trees of fixed height is decidable by normalizing to a… | ||
| Orbit-Finite Sets | Symmetry, Logic, Computation 2016 | 2016-11-07 |
Claims an equivalence between the syntactic notion definable sets (finite set‑builder expressions over a fixed atom structure) and the semantic notion… | ||
| nothing matches | ||