Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Mathematical logic --- Ordered algebraic structures --- 51 --- Mathematics --- 51 Mathematics --- Algèbre universelle --- Algebra, Universal --- Algèbre universelle. --- Algèbre universelle --- Algebra, Universal. --- Ordres (mathematiques) --- Treillis

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This graduate-level textbook provides an introduction to the basic ideas and concepts of universal algebra and surveys of newer developments. Universal Algebra and Applications in Theoretical Computer Science is written in a style accessible to beginners, with every new concept clearly explained and numerous examples provided. The main ideas of concept lattices as an important tool for conceptual analysis of data are developed, and several examples are given. The algebraic theory of tree automata and its interconnections to universal-algebraic concepts are described. The final part of the book is devoted to key applications of universal algebra in theoretical computer science.

Algebra --- Computer science --- Algebra, Universal. --- Mathematics. --- Algebra, Universal --- Algèbre universelle --- Informatique --- Mathematics --- Mathématiques --- Algèbre universelle. --- Mathématiques. --- Algèbre universelle. --- Mathématiques.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Mathematics --- 512.57 --- Universal algebras. Free algebras --- Algebra, Universal. --- 512.57 Universal algebras. Free algebras --- Algèbre universelle. --- Algebra, Universal --- Algèbre universelle.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Algebra --- Algèbre différentielle. --- Differential algebra --- Algèbre universelle. --- Algebra, Universal --- Ensembles flous --- Structures algébriques ordonnées --- Théorie des ensembles --- Algèbre différentielle. --- Algèbre universelle. --- Structures algébriques ordonnées --- Théorie des ensembles

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Mathematical logic --- Ordered algebraic structures --- Algebra, Universal. --- Decidability (Mathematical logic) --- Algebraic varieties. --- Modular lattices. --- Representations of algebras. --- Algèbre universelle. --- Décidabilité (logique mathématique) --- Variétés algébriques. --- Treillis modulaires. --- Représentations d'algèbres.