Dexter Kozen, Frederick Smith. Kleene Algebra with Tests: Completeness and Decidability. In Dirk van Dalen, Marc Bezem, editors, Computer Science Logic, 10th International Workshop, CSL 96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996, Selected Papers. Volume 1258 of Lecture Notes in Computer Science, pages 244-259, Springer, 1996.
@inproceedings{KozenS96,
title = {Kleene Algebra with Tests: Completeness and Decidability},
author = {Dexter Kozen and Frederick Smith},
year = {1996},
tags = {completeness, testing, algebra},
researchr = {https://researchr.org/publication/KozenS96},
cites = {0},
citedby = {0},
pages = {244-259},
booktitle = {Computer Science Logic, 10th International Workshop, CSL 96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996, Selected Papers},
editor = {Dirk van Dalen and Marc Bezem},
volume = {1258},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-63172-0},
}