1 search result for "author:"Michael Greenberg <michael@greenberg.science>""
Showing 1 - 1
-
Framework for deriving Kleene Algebras with Tests (KAT)Michael <michael@ .science>0.1MITUsed by 0 other packages23 Jun 2022