1 paper · 1 filter
Anuj Dawar, Aidan T. Evans
Krebs et al. (2007) gave a characterization of the complexity class TC0 as the class of languages recognized by a certain class of typed monoids. The notion of typed monoid was int…