From the 1 of 3 linked papers with an AI index.
3 papers
Regularity as seen by Alice and Bob
Omid Yaghoubi, MikoÅaj BojaÅczyk, Aliaume Lopez +1
The paper proposes a unified model that extends Nerode-style characterizations of regularity to functions with arbitrary output domains, using a constant‑communication protocol bet…
Polyregular equivalence is undecidable in higher-order types
MikoÅaj BojaÅczyk, Grzegorz FabiaÅski, RafaÅ StefaÅski
It is open whether equivalence ( f = g ) is decidable for string-to-string polyregular functions. We consider their higher-order extension based on the λ-calculus definition of po…
Low rank MSO
MikoÅaj BojaÅczyk, MichaÅ Pilipczuk, Wojciech Przybyszewski +2
We introduce a new logic for describing properties of graphs, which we call low rank MSO. This is the fragment of monadic second-order logic in which set quantification is restrict…