EQUATIONAL THEORIES GENERATED BY HYPERSUBSTITUTIONS OF TYPE (n) (Q3043643)

From MaRDI portal





scientific article; zbMATH DE number 2084178
Language Label Description Also known as
default for all languages
No label defined
    English
    EQUATIONAL THEORIES GENERATED BY HYPERSUBSTITUTIONS OF TYPE (n)
    scientific article; zbMATH DE number 2084178

      Statements

      EQUATIONAL THEORIES GENERATED BY HYPERSUBSTITUTIONS OF TYPE (n) (English)
      0 references
      0 references
      0 references
      0 references
      6 August 2004
      0 references
      hypersubstitution
      0 references
      fully invariant congruence
      0 references
      hyperunification problem
      0 references

      Identifiers