Items related to Systems of Reductions (Lecture Notes in Computer Science,...

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.