Back to Results
First PageMeta Content



December 27, 2005 Partial Inversion of Constructor Term Rewriting Systems ? Naoki Nishida, Masahiko Sakai, and Toshiki Sakabe Graduate School of Information Science, Nagoya University
Add to Reading List

Document Date: 2005-12-27 07:10:33


Open Document

File Size: 226,59 KB

Share Result on Facebook