stephane kaplan
Conditional Term Rewriting Systems
Print on DemandThe 1st International Workshop on Conditional Term Rewriting Systems took place in Orsay (Univers...
Conditional and Typed Rewriting Systems
Print on DemandThis volume presents the proceedings of the second international CTRS workshop. Topics include th...
- 1