Systems of Reductions (Lecture Notes in Computer Science) pdf epub fb2

Systems of Reductions (Lecture Notes in Computer Science) by Benjamin Benninghofen, S. Kemmerich, M. M. Richter epub fb2 djvu

Author: Benjamin Benninghofen, S. Kemmerich, M. M. Richter
Title: Systems of Reductions (Lecture Notes in Computer Science)
ISBN: 0387185984
ISBN13: 978-0387185989
Other Formats: azw lrf rtf mbr
Pages: 263 pages
Publisher: Springer Verlag (December 1, 1987)
Language: English
Size EPUB version: 1402 kb
Size FB2 version: 1474 kb
Category: Computers & Technology
Subcategory: Computer Science

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.

Related EPUB FB2 books to Systems of Reductions (Lecture Notes in Computer Science) by Benjamin Benninghofen, S. Kemmerich, M. M. Richter
Homology of Classical Groups Over Finite Fields and Their Associated Infini ...
Homology of Classical Groups Over Finite Fields and Their Associated Infini ...
Cognitive Vision Systems: Sampling the Spectrum of Approaches (Lecture Note ...
Cognitive Vision Systems: Sampling the Spectrum of Approaches (Lecture Note ...
Transactions on Computational Systems Biology VII (Lecture Notes in Compute ...
Transactions on Computational Systems Biology VII (Lecture Notes in Compute ...
Methodologies for Intelligent Systems: 6th International Symposium, ISMIS ' ...
Methodologies for Intelligent Systems: 6th International Symposium, ISMIS ' ...
1993 Lectures In Complex Systems (SANTA FE INSTITUTE STUDIES IN THE SCIENCE ...
1993 Lectures In Complex Systems (SANTA FE INSTITUTE STUDIES IN THE SCIENCE ...
Business Information Systems: 10th International Conference, BIS 2007, Pozn ...
Business Information Systems: 10th International Conference, BIS 2007, Pozn ...
Advanced Database Systems (Lecture Notes in Computer Science)
Advanced Database Systems (Lecture Notes in Computer Science)
Structures in Logic and Computer Science: A Selection of Essays in Honor of ...
Structures in Logic and Computer Science: A Selection of Essays in Honor of ...
Uncertainty in Knowledge-Based Systems (Lecture Notes in Computer Science)
Uncertainty in Knowledge-Based Systems (Lecture Notes in Computer Science)
Caap '90 (Lecture Notes in Computer Science)
Caap '90 (Lecture Notes in Computer Science)
Knowledge Based Computer Systems: International Conference KBCS `89, Bombay ...
Knowledge Based Computer Systems: International Conference KBCS `89, Bombay ...
Infinite Dimensional Hamiltonian Systems (MONOGRAPHS AND TEXTBOOKS IN PHYSI ...
Infinite Dimensional Hamiltonian Systems (MONOGRAPHS AND TEXTBOOKS IN PHYSI ...