Residuated Kleene Algebras

Hajnal Andréka, Szabolcs Mikulás, István Németi. Residuated Kleene Algebras. In Robert L. Constable, Alexandra Silva, editors, Logic and Program Semantics - Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday. Volume 7230 of Lecture Notes in Computer Science, pages 1-11, Springer, 2012. [doi]

@inproceedings{AndrekaMN12,
  title = {Residuated Kleene Algebras},
  author = {Hajnal Andréka and Szabolcs Mikulás and István Németi},
  year = {2012},
  doi = {10.1007/978-3-642-29485-3_1},
  url = {http://dx.doi.org/10.1007/978-3-642-29485-3_1},
  researchr = {https://researchr.org/publication/AndrekaMN12},
  cites = {0},
  citedby = {0},
  pages = {1-11},
  booktitle = {Logic and Program Semantics - Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday},
  editor = {Robert L. Constable and Alexandra Silva},
  volume = {7230},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-29484-6},
}