English
1987
ISBN: 3540185984
PDF
pages: 274
Systems of reductions (or rewrite rules as they are often called) enjoy a growing popularity in theoretical computer science. They have also become a useful tool in computational algebra; these areas are anyway not very well separated and have much in common. An important branch of this common background is "equational logic". This is, strictly speaking, the fragment of predicate logic, where equality is the only predicate. In practice, equality logic is concerned with a class of problems which are more restricted as well as more general.
Download File Size:9.23 MB