Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

[KP+09]  Predicate transformers for convex powerdomains

KP:09 (Article)
Author(s)Keimel, Klaus and Plotkin, Gordon D.
Title« Predicate transformers for convex powerdomains »
JournalMathematical Structures in Computer Science
Volume19
Page(s)501--539
Year2009

BibTeX code
@article{KP:09,
  author = {Keimel, Klaus and Plotkin, Gordon D.},
  volume = {19},
  title = {Predicate transformers for convex powerdomains},
  year = 2009,
  pages = {501--539},
  journal = {Mathematical Structures in Computer Science},
}

 Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

Submit a bug

This document was generated by bib2html 6.7.
Copyright © 1998-2011 Stephane GALLAND (under the GNU General Public License)

Valid HTML 4.01!Valid CSS!