Back to Results
First PageMeta Content



ISRFORT Property  arbitrary first-order formula over rewrite relations as predicates
Add to Reading List

Document Date: 2017-07-04 14:43:40


Open Document

File Size: 946,13 KB

Share Result on Facebook