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

Koliko vam se sviđa ova knjiga?

Kakav je kvalitet fajla?

Preuzmite knjigu radi procene kvaliteta

Kakav je kvalitet preuzetih fajlova?

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.

Kategorije:

Computers - Computer Science

Godina:

1987

Izdanje:

Izdavač:

Springer-Verlag Berlin Heidelberg

Jezik:

english

Strane:

272

ISBN 10: