Damien Pous, Jurriaan Rot, Jana Wagemaker. On Tools for Completeness of Kleene Algebra with Hypotheses. In Uli Fahrenberg, Mai Gehrke, Luigi Santocanale, Michael Winter 0001, editors, Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings. Volume 13027 of Lecture Notes in Computer Science, pages 378-395, Springer, 2021. [doi]
@inproceedings{PousRW21,
title = {On Tools for Completeness of Kleene Algebra with Hypotheses},
author = {Damien Pous and Jurriaan Rot and Jana Wagemaker},
year = {2021},
doi = {10.1007/978-3-030-88701-8_23},
url = {https://doi.org/10.1007/978-3-030-88701-8_23},
researchr = {https://researchr.org/publication/PousRW21},
cites = {0},
citedby = {0},
pages = {378-395},
booktitle = {Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings},
editor = {Uli Fahrenberg and Mai Gehrke and Luigi Santocanale and Michael Winter 0001},
volume = {13027},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-88701-8},
}