1.
Conditional and Typed Rewriting Systems 4th International Workshop, Ctrs-94, Jerusalem, Isra...
by Dershowitz, Nachum, Lindens...
ISBN: 9783540603818
List Price: $82.95
2.
Conditional and Typed Rewriting Systems
by Dershowitz, Nachum, Lindens...
ISBN: 9783662163610
List Price: $24.99