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	Meta Content
	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 Document Date: 2011-01-04 14:50:02 Open Document File Size: 38,70 KB Share Result on Facebook

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 List