TY - RPRT TI - Languages recognised by finite semigroups, and their generalisations to objects such as trees and graphs, with an emphasis on definability in monadic second-order logic AU - Mikołaj Bojańczyk PY - 2020 UR - https://arxiv.org/abs/2008.11635 ID - 2008.11635 ER -