DBLP Record 'conf/RelMiCS/RewitzkyB06'

BibTeX

@inproceedings{DBLP:conf/RelMiCS/RewitzkyB06,
  author    = {Ingrid Rewitzky and
               Chris Brink},
  title     = {Monotone Predicate Transformers as Up-Closed Multirelations},
  booktitle = {RelMiCS},
  year      = {2006},
  pages     = {311-327},
  ee        = {http://dx.doi.org/10.1007/11828563_21},
  crossref  = {DBLP:conf/RelMiCS/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/RelMiCS/2006,
  editor    = {Renate A. Schmidt},
  title     = {Relations and Kleene Algebra in Computer Science, 9th International
               Conference on Relational Methods in Computer Science and
               4th International Workshop on Applications of Kleene Algebra,
               RelMiCS/AKA 2006, Manchester, UK, August 29-September 2,
               2006, Proceedings},
  booktitle = {RelMiCS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {4136},
  year      = {2006},
  isbn      = {3-540-37873-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}