KawaharaW09'

BibTeX

@inproceedings{DBLP:conf/RelMiCS/KawaharaW09,
  author    = {Yasuo Kawahara and
               Michael Winter},
  title     = {Cardinal Addition in Distributive Allegories},
  booktitle = {RelMiCS},
  year      = {2009},
  pages     = {227-241},
  ee        = {http://dx.doi.org/10.1007/978-3-642-04639-1_16},
  crossref  = {DBLP:conf/RelMiCS/2009},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/RelMiCS/2009,
  editor    = {Rudolf Berghammer and
               Ali Jaoua and
               Bernhard M{\"o}ller},
  title     = {Relations and Kleene Algebra in Computer Science, 11th International
               Conference on Relational Methods in Computer Science, RelMiCS
               2009, and 6th International Conference on Applications of
               Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009.
               Proceedings},
  booktitle = {RelMiCS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {5827},
  year      = {2009},
  isbn      = {978-3-642-04638-4},
  ee        = {http://dx.doi.org/10.1007/978-3-642-04639-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}