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 rpo - Bér - Document - PDFSEARCH.IO

First Page		Document Content
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 rpo Add to Reading List Source URL: verify.rwth-aachen.de Download Document from Source Website File Size: 38,70 KB Share Document on Facebook