Polyregular functions on unordered trees of bounded height by Bojańczyk, M, Klin, B

Orbit-finite-dimensional vector spaces and weighted register automata by Bojańczyk, M, Fijalkow, J, Klin, B, Moerman, J

Kleene Algebra with Hypotheses by Doumane, A, Kuperberg, D, Pous, D, Pradic, P

Other Authors: “…Bojanczyk, M…”