Systems of Reductions
Description
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.
Keywords
ComputersArtificial IntelligenceComputer ScienceInformation TechnologyProgrammingAlgorithmsMathematicsAlgebraDiscrete MathematicsHistory & PhilosophyLogicProbability & StatisticsStochastic Processes
1987Book
Author(s)Michael M. Richter, Benjamin Benninghofen, Susanne Kemmerich
PublisherSpringer Science & Business Media
ISBN9783540185987
LanguageEnglish
