Equational Theories Generated By Hypersubstitutions of Type (n).

Klaus Denecke Jörg Koppitz Staszek Niwczyk

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

Keyphrases

equational theories
automatically generated
databases
general purpose
np complete
generation process