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

Sukakah anda buku ini?

Bagaimana kualiti fail ini?

Muat turun buku untuk menilai kualitinya

Bagaimana kualiti fail yang dimuat turun?

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.

Kategori:

Computers - Computer Science

Tahun:

1987

Edisi:

Penerbit:

Springer-Verlag Berlin Heidelberg

Bahasa:

english

Halaman:

272

ISBN 10: