1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LO2023★ 1 cited
Polyregular functions on unordered trees of bounded height
Mikołaj Bojańczyk, Bartek Klin
We consider injective first-order interpretations that input and output trees of bounded height. The corresponding functions have polynomial output size, since a first-order interp…
cs.LO2023
The category of MSO transductions
Mikołaj Bojańczyk
MSO transductions are binary relations between structures which are defined using monadic second-order logic. MSO transductions form a category, since they are closed under composi…