On the Expressive Power of Kleene Algebra with Domain
Logic in Computer Science
2015-08-04 v2
Abstract
It is shown that antidomain semirings are more expressive than test semirings and that Kleene algebras with domain are more expressive than Kleene algebras with tests. It is also shown that Kleene algebras with domain are expressive for propositional Hoare logic whereas Kleene algebras with tests are not.
Keywords
Cite
@article{arxiv.1507.07246,
title = {On the Expressive Power of Kleene Algebra with Domain},
author = {Georg Struth},
journal= {arXiv preprint arXiv:1507.07246},
year = {2015}
}
Comments
Typos have been corrected