<--- Back to Details
First PageDocument 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 reason

Add to Reading List

Source URL: www.cs.pomona.edu

Download Document from Source Website

File Size: 1,01 MB

Share Document on Facebook

Similar Documents