James Worthington. Automatic Proof Generation in Kleene Algebra. In Rudolf Berghammer, Bernhard Möller, Georg Struth, editors, Relations and Kleene Algebra in Computer Science, 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. P. Volume 4988 of Lecture Notes in Computer Science, pages 382-396, Springer, 2008. [doi]
@inproceedings{Worthington08,
title = {Automatic Proof Generation in Kleene Algebra},
author = {James Worthington},
year = {2008},
doi = {10.1007/978-3-540-78913-0_28},
url = {http://dx.doi.org/10.1007/978-3-540-78913-0_28},
tags = { algebra},
researchr = {https://researchr.org/publication/Worthington08},
cites = {0},
citedby = {0},
pages = {382-396},
booktitle = {Relations and Kleene Algebra in Computer Science, 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. P},
editor = {Rudolf Berghammer and Bernhard Möller and Georg Struth},
volume = {4988},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-78912-3},
}