ISRFORT Property  arbitrary first-order formula over rewrite relations as predicates

First Page		Document Content
Date: 2017-07-04 14:43:40		ISRFORT Property  arbitrary first-order formula over rewrite relations as predicates Add to Reading List Source URL: www.win.tue.nl Download Document from Source Website File Size: 946,13 KB Share Document on Facebook