ANew Decidability Technique for Ground Term Rewriting Systems with Applications

Cached

Download Links

by Rakesh Verma , Ara Hayrapetyan
Citations:2 - 0 self