Back to Results
First PageMeta Content



Open Problems in Rewriting Nachum Dershowitz Department of Computer Science, University of Illinois 1304 West Spring eld Avenue, Urbana, IL 61801, U.S.A.
Add to Reading List

Document Date: 2005-03-20 12:18:42


Open Document

File Size: 180,00 KB

Share Result on Facebook