ENGLISH

Systems of Reductions

By Benjamin Benninghofen , Susanne Kemmerich , Michael M. Richter (auth.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1987
ISBN
3540185984, 9783540185987
DOI
10.1007/3-540-18598-4
Open Library ID
OL9405551M
Language
english
Format
DJVU
Filesize
2 MB (1660711 bytes)
Series
Lecture Notes in Computer Science 277
Edition
1
Pages
272\274
Library
Kolxo3
DPI
300
Time added
2011-07-22 07:35:22
Algorithm Analysis and Problem Complexity; Artific

Description

The book studies equational logic of structures using systems of reductions. The process of completing a system is studied as well as properties of finite and infinite complete systems. A special example treated systematically is the case of groups which allow to interpret the behaviour of algorithms algebraically.

Similar books