Login / Signup

HSP-type Characterization of Strong Equational Classes of Partial Algebras.

Bogdan Staruch
Published in: Stud Logica (2009)
Keyphrases
  • high level
  • data mining
  • search space
  • orders of magnitude