First Page | Document Content | |
---|---|---|
Date: 2017-07-04 14:43:40 | ISRFORT Property arbitrary first-order formula over rewrite relations as predicatesAdd to Reading ListSource URL: www.win.tue.nlDownload Document from Source WebsiteFile Size: 946,13 KBShare Document on Facebook |