Crossmark

Completeness and incompleteness in nominal Kleene algebra

Crossref DOI link: https://doi.org/10.1016/j.jlamp.2017.06.002

Published Print: 2017-10

Update policy: https://doi.org/10.1016/elsevier_cm_policy

Authors

Kozen, Dexter

Mamouras, Konstantinos

Silva, Alexandra
Funding

Funding for this research was provided by:

NWO (639.021.334)

NWO (612.001.113)

National Security Agency

National Science Foundation (CCF-1535952)

National Science Foundation (CCF-1637532)
License Information

Text and Data Mining valid from 2017-10-01

Text and Data Mining valid from 2017-10-01

Version of Record valid from 2021-10-01
More Information

This article is maintained by: Elsevier

Article Title: Completeness and incompleteness in nominal Kleene algebra

Journal Title: Journal of Logical and Algebraic Methods in Programming

CrossRef DOI link to publisher maintained version: https://doi.org/10.1016/j.jlamp.2017.06.002

Content Type: article

Copyright: © 2017 Elsevier Inc.