Refine
Has Fulltext
- no (14)
Year of publication
- 2003 (14) (remove)
Document Type
- Article (13)
- Monograph/Edited Volume (1)
Is part of the Bibliography
- yes (14) (remove)
Institute
Algebra und Diskrete Mathematik gehören zu den wesentlichen Grundlagen der Informatik. Sie sind unverzichtbare Werkzeuge eines jeden Informatikers und spielen daher auch im Studium eine zentrale Rolle. Das Lehrbuch vermittelt anschaulich und leicht nachvollziehbar die wichtigsten algebraischen Grundlagen der Informatik bis hin zur Gleichungstheorie der Universellen Algebra. Zahlreiche Übungsaufgaben und ihre Lösungen helfen dem Leser, den Stoff zu verstehen
Clones of n-ary algebras
(2003)
Valuations of Terms
(2003)
Let tau be a type of algebras. There are several commonly used measurements of the complexity of terms of type tau, including the depth or height of a term and the number of variable symbols appearing in a term. In this paper we formalize these various measurements, by defining a complexity or valuation mapping on terms. A valuation of terms is thus a mapping from the absolutely free term algebra of type tau into another algebra of the same type on which an order relation is defined. We develop the interconnections between such term valuations and the equational theory of Universal Algebra. The collection of all varieties of a given type forms a complete lattice which is very complex and difficult to study; valuations of terms offer a new method to study complete sublattices of this lattice