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,

First Page		Document Content
Date: 2005-03-20 12:18:42		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 Source URL: www.cs.tau.ac.il Download Document from Source Website File Size: 364,26 KB Share Document on Facebook