RG and also do not destroy the termination property. Choosing (1 . y, X-I . (:z: . y)) as the critical pair (Cl, C2) in the completion procedure, we detect that (d 1 , d2 ) = (y, :z:-1 . (x . y)) and RG U {d 2 --+ d1 } is again a Noetherian rrs.
Download e-book for kindle: 5. Österreichische Artificial-Intelligence-Tagung: by Roy Leitch, Mark Wiegand (auth.), Johannes Retti, Karl
Rated
5 –
based on
votes
of