Completeness and incompleteness in nominal Kleene algebra

Dexter Kozen, Konstantinos Mamouras, Alexandra Silva 0001. Completeness and incompleteness in nominal Kleene algebra. Journal of Logic and Algebraic Programming, 91:17-32, 2017. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: