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: