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
Details
The content you want is available to Zendy users.Already have an account? Click here. to sign in.