Systems of Reductions

Free Download

Authors:

Edition: 1

Series: Lecture Notes in Computer Science 277

ISBN: 9783540185987, 3540185984

Size: 10 MB (10344388 bytes)

Pages: 272/274

File format:

Language:

Publishing Year:

Direct Download: Coming soon..
Download link:
Sign in to view hidden content.
Tags: , , , ,

Benjamin Benninghofen, Susanne Kemmerich, Michael M. Richter (auth.)9783540185987, 3540185984

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.

Table of contents :
General concepts from universal algebra….Pages 1-25
Finite sets of reductions….Pages 26-115
Infinite sets of reductions….Pages 116-169
Automata and reductions….Pages 170-217
Deciding algebraic properties of finitely presented monoids….Pages 218-255

Reviews

There are no reviews yet.

Be the first to review “Systems of Reductions”

Related products

Shopping Cart
Scroll to Top