![](https://www.pdfsearch.io/img/b17f1a23e022e98b16f2d2abba8b7e95.jpg) Date: 2011-01-04 14:50:02
| | Rekursive Pfadordnung Sei A fundierte Ordnung u ¨ber Σ (Pr¨azedenz). Es gilt s rpo t gdw. ur ein i oder • s = f (s1, . . . , sn) und si rpo t f¨ • s = f (s1, . . . , sn), t = g(t1, . . . , tm), f A g und s rpoAdd to Reading ListSource URL: verify.rwth-aachen.deDownload Document from Source Website File Size: 38,70 KBShare Document on Facebook
|