A Constructive Axiomatization of the Recursive Path Ordering (2006)

Cached

Download Links

by Solange Coupet-Grimal , William Delobel
Citations:2 - 0 self