z-logo
open-access-imgOpen Access
Term rewriting: Some experimental results
Author(s) -
David A. Plaisted,
Richard C. Potter
Publication year - 1991
Publication title -
carolina digital repository (university of north carolina at chapel hill)
Language(s) - Uncategorized
DOI - 10.17615/b93k-sk61
Subject(s) - rewriting , term (time) , computer science , programming language , physics , astronomy

The content you want is available to Zendy users.

Already have an account? Click here to sign in.
Having issues? You can contact us here