Ebook: Systems of Reductions
- Tags: Algorithm Analysis and Problem Complexity, Artificial Intelligence (incl. Robotics), Mathematical Logic and Formal Languages, Mathematical Logic and Foundations, Algebra
- Series: Lecture Notes in Computer Science 277
- Year: 1987
- Publisher: Springer-Verlag Berlin Heidelberg
- City: Dordrecht
- Edition: 1
- Language: English
- pdf
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.
Download the book Systems of Reductions for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)