search for books and compare prices
Benjamin Benninghofen has written 1 work(s)
Search for other authors with the same name
displaying 1 to 1 |
at end
show results in order: alphabetically | oldest to newest | newest to oldest
Product 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...read more
Paperback:
9780387185989 | Springer Verlag, December 1, 1987, cover price $69.95 | About this edition: The book studies equational logic of structures using systems of reductions.
displaying 1 to 1 |
at end