6 citations · 7 across the 3 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
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.LO2010
Proceedings Sixth Workshop on Structural Operational Semantics
Bartek Klin, Paweł Sobociński
This volume contains the proceedings of SOS 2009, the Sixth Workshop on Structural Operational Semantics held on the 31st of August 2009 in Bologna, Italy as a affiliated workshop…