![](https://www.pdfsearch.io/img/d7ad11191fd79fc48d51275e3a0fb5e7.jpg) Date: 2015-07-08 16:11:14
| | A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization Avraham Shinnar, Jérôme Siméon, and Martin Hirzel IBM Research, USA {shinnar,simeon,hirzel}@us.ibm.comAdd to Reading ListSource URL: hirzels.comDownload Document from Source Website File Size: 784,66 KBShare Document on Facebook
|