Back to Results
First PageMeta Content

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 reason
Add to Reading List

Document Date: 2017-10-23 18:01:35

Open Document

File Size: 1,01 MB

Share Result on Facebook