Reducibility vs. definability for pseudovarieties of semigroups.

Jorge Almeida Ondrej Klíma

Published in: Int. J. Algebra Comput. (2016)

Keyphrases

fixed point
propositional logic
range searching
finite model theory
multi agent systems
digital libraries
special case
intrinsic complexity