Systems of Reductions

Main
Computers - Computer Science
Systems of Reductions

Systems of Reductions

Name: Systems of Reductions
ISBN: 9783540185987

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

0 / 0

0 comments

როგორ მოგეწონათ ეს წიგნი?

როგორი ხარისხისაა ეს ფაილი?

ჩატვირთეთ, ხარისხის შესაფასებლად

როგორი ხარისხისაა ჩატვირთული ფაილი?

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.

კატეგორია:

Computers - Computer Science

წელი:

1987

გამოცემა:

გამომცემლობა:

Springer-Verlag Berlin Heidelberg

ენა:

english

გვერდები:

272

ISBN 10: