Universal Algebra for Computer Scientists (Monographs in Theoretical Computer Science. An EATCS Series, 25)

Wechler, Wolfgang

ISBN 10: 3540542809 ISBN 13: 9783540542803

Verlag: Springer, 1992

Sprache: Englisch

Zustand: Gebraucht - Befriedigend Hardcover

F�r sp�ter vormerken

Verkauft von Buchmarie, Darmstadt, Deutschland

AbeBooks-Verk�ufer seit 21. Juni 2021

Verk�uferbewertung 5 von 5 Sternen

Alle Artikel dieses Verk�ufers anzeigen

Alle Exemplare dieses Buches anzeigen

Gebraucht - Hardcover

Zustand: Gebraucht - Befriedigend

Preis: EUR 129,02 W�hrung umrechnen

EUR 3,78 f�r den Versand innerhalb von/der Deutschland Versandziele, Kosten & Dauer

Anzahl: 1 verf�gbar

In den Warenkorb legen

F�r sp�ter vormerken

Beschreibung

Buchschnitt leicht verschmutzt.

Bestandsnummer des Verk�ufers 2995966_49b_2x

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel

Universal Algebra for Computer Scientists (Monographs in Theoretical Computer Science. An EATCS Series, 25)

Verlag

Springer

Erscheinungsjahr

1992

Sprache

Englisch

ISBN-10

3540542809

ISBN-13

9783540542803

Einband

Hardcover

Zustand

Good

Verk�uferkataloge

�ber diesen Titel

Inhaltsangabe

Written for computer scientists, this volume offers a new model-theoretic approach to universal algebra and presents a systematic development of the methods of results of universal algebra that are useful in a variety of applications in computer science. The book is concerned with the algebraic characterization of axiomatic classes of algebras by closure operators generalizing the famous Birkhoff Variety Theorem and the algebraic characterization of related theories. The book also presents a study of term rewriting systems. Beside basic notions, the Knuth-Bendix completion procedure and terminal proof methods are considered. A third main topic is that of fixpoint techniques and complete ordered algebras. Algebraic specifications of abstract data types and algebraic semantics of recursive program schemes are treated as applications.

Rese�a del editor

A new model-theoretic approach to universal algebra is offered in this book. Written for computer scientists, it presents a systematic development of the methods and results of universal algebra that are useful in a variety of applications in computer science. The notation is simple and the concepts are clearly presented. The book concerns the algebraic characterization of axiomatic classes of algebras (equational, implicational, and universal Horn classes) by closure operators generalizing the famous Birkhoff Variety Theorem, and the algebraic characterization of the related theories. The book also presents a thorough study of term rewriting systems. Besides basic notions, the Knuth-Bendix completion procedure and termination proof methods are considered. A third main topic is that of fixpoint techniques and complete ordered algebras. Algebraic specifications of abstract data types and algebraic semantics of recursive program schemes are treated as applications. The book is self-contained and suitable both as a textbook for graduate courses and as a reference for researchers.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

Buchmarie
Germany

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

Widerrufsbelehrung

Versandbedingungen

Versandkosten innerhalb von Deutschland

Versandkosten innerhalb von Deutschland
Bestellmenge	1 bis 2�Werktage	1 bis 2�Werktage
Erster Artikel	EUR 3.78	EUR 3.78

Die Versandzeiten werden von den Verk�uferinnen und Verk�ufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, k�nnen Verz�gerungen unterliegen. Eventuell anfallende Abgaben oder Geb�hren sind von der K�uferin bzw. dem K�ufer zu tragen. Die Verk�uferin bzw. der Verk�ufer kann Sie bez�glich zus�tzlicher Versandkosten kontaktieren, um einen m�glichen Anstieg der Versandkosten f�r Ihre Artikel auszugleichen.