Systems of Reductions (Lecture Notes in Computer Science, 277) - Softcover

Benninghofen, Benjamin; Kemmerich, Susanne; Richter, Michael M.

 
9783540185987: Systems of Reductions (Lecture Notes in Computer Science, 277)

Synopsis

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.

"synopsis" may belong to another edition of this title.

Other Popular Editions of the Same Title

9780387185989: Systems of Reductions (Lecture Notes in Computer Science)

Featured Edition

ISBN 10:  0387185984 ISBN 13:  9780387185989
Publisher: Springer Verlag, 1987
Softcover