More Problems in Rewriting? Nachum Dershowitz1 , Jean-Pierre Jouannaud2 , and Jan Willem Klop3 1 Department of Computer Science, University of Illinois, 1304 West Springeld Avenue, Urbana, IL 61801, U.S.A, - Jean-Pierre - Document - PDFSEARCH.IO

First Page	Meta Content
	More Problems in Rewriting? Nachum Dershowitz1 , Jean-Pierre Jouannaud2 , and Jan Willem Klop3 1 Department of Computer Science, University of Illinois, 1304 West Springeld Avenue, Urbana, IL 61801, U.S.A, Add to Reading List Document Date: 2005-03-20 12:18:42 Open Document File Size: 364,26 KB Share Result on Facebook

More Problems in Rewriting? Nachum Dershowitz1 , Jean-Pierre Jouannaud2 , and Jan Willem Klop3 1 Department of Computer Science, University of Illinois, 1304 West Spring eld Avenue, Urbana, IL 61801, U.S.A, Add to Reading List