Browsing Computing and Information Science Technical Reports by Subject "Antimirov derivative"

eCommons will become read-only at noon on May 26 for an infrastructure update. Submissions will not be accepted at this time. We anticipate that this update will be completed by June 2 at 5 p.m.

Please contact us at ecommons-admin@cornell.edu if you have questions or concerns.

Now showing items 1-1 of 1

Nominal Kleene Coalgebra

Kozen, Dexter; Mamouras, Konstantinos; Petrisan, Daniela; Silva, Alexandra (2015-02-18)

We develop the coalgebraic theory of nominal Kleene algebra, including an alternative language-theoretic semantics, a nominal extension of the Brzozowski derivative, and a bisimulation-based decision procedure for the ...