![](https://www.pdfsearch.io/img/e3f6d21f77e359193afde654e4a67177.jpg) Date: 2017-10-23 18:01:35
| | 1 Kleene Algebra Modulo Theories RYAN BECKETT, Princeton University ERIC CAMPBELL, Pomona College MICHAEL GREENBERG, Pomona College Kleene algebras with tests (KATs) offer sound, complete, and decidable equational reasonAdd to Reading ListSource URL: www.cs.pomona.eduDownload Document from Source Website File Size: 1,01 MBShare Document on Facebook
|