×

Fixed-points and algebras with infinitely long expressions. II. (English) Zbl 0392.68013

Fundam. Comput. Theory, Proc. int. Conf., Poznan-Kornik 1977, Lect. Notes Comput. Sci. 56, 332-339 (1977).

MSC:

68P05 Data structures
08A50 Word problems (aspects of algebraic structures)
08B05 Equational logic, Mal’tsev conditions
08C15 Quasivarieties