First Page | Document Content | |
---|---|---|
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 WebsiteFile Size: 1,01 MBShare Document on Facebook |