ملخص: Algebraic methods, in particular those of universal algebra and algebraic logic, are playing an increasingly important role in computer science, especially in the areas of algebraic specification of data types, relational database theory, logic of programs, functional and logic programming, and semantics of programming languages. To a large extent this work has been carried forward by computer scientists independently of the very active group of mathematicians who work in universal algebra and algebraic logic.

طبعة: Heidelberg,New York: Springer-Verlag Springer-Verlag
لغة: إنجليزية
الوصف المادي: 292 p. ;24 cm
ISBN: 3540972889