Rewriting Techniques and Applications: 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 1989)

Brand new: lowest price

AU $180.03

Free postage
  • Get it by Fri, 25 May - Tue, 12 Jun from Sydney, Australia
  • Brand new condition
  • • Returns accepted - 30 days money back
Characterizations of unification type zero. - Proof normalization for resolution and paramodulation. - Complete sets of reductions modulo associativity, commutativity and identity. - Computing ground reducibility and inductively complete positions.