Universal algebra and applications in theoretical computer science
Klaus Denecke, Shelly L. Wismath.
Boca Raton : Chapman & Hall, ©2002.
xii, 383 págs. : ilustraciones ; 24 cm.
ISBN: 1584882549
Incluye referencias bibliográficas (p. 363-372) e índice.
Reseña: MathSciNet, 2003m:08001
Contenido
- 1. Basic concepts
- 2. Galois connections and closures
- 3. Homomorphisms and isomorphisms
- 4. Direct and subdirect products
- 5. Terms, trees, and polynomials
- 6. Identities and varieties
- 7. Term rewriting systems
- 8. Algebraic machines
- 9. Mal'cev-type conditions
- 10. Clones and completeness
- 11. Tame congruence theory
- 12. Term condition and commutator
- 13. Complete sublattices
- 14. G-clones and M-solid varieties
- 15. Hypersubstitutions and machines.