Login / Signup

Tree algebras and bisimulation-invariant MSO on finite graphs.

Thomas ColcombetAmina DoumaneDenis Kuperberg
Published in: CoRR (2024)
Keyphrases