DBLP Record 'conf/asian/LasotaNZ06'

BibTeX

@inproceedings{DBLP:conf/asian/LasotaNZ06,
  author    = {Slawomir Lasota and
               David Nowak and
               Yu Zhang},
  title     = {On Completeness of Logical Relations for Monadic Types},
  booktitle = {ASIAN},
  year      = {2006},
  pages     = {223-230},
  ee        = {http://dx.doi.org/10.1007/978-3-540-77505-8_17},
  crossref  = {DBLP:conf/asian/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/asian/2006,
  editor    = {Mitsu Okada and
               Ichiro Satoh},
  title     = {Advances in Computer Science - ASIAN 2006. Secure Software
               and Related Issues, 11th Asian Computing Science Conference,
               Tokyo, Japan, December 6-8, 2006, Revised Selected Papers},
  booktitle = {ASIAN},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {4435},
  year      = {2008},
  isbn      = {978-3-540-77504-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}