DBLP Record 'conf/tmfcs/SatoK08'

BibTeX

@inproceedings{DBLP:conf/tmfcs/SatoK08,
  author    = {Haruhiko Sato and
               Masahito Kurihara},
  title     = {Design and Implementation of Multi-Completion Procedures
               with Termination Checking},
  booktitle = {TMFCS},
  year      = {2008},
  pages     = {33-40},
  crossref  = {DBLP:conf/tmfcs/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/tmfcs/2008,
  editor    = {Zoran Majkic and
               Michael Sipser and
               R. Radha and
               Daming Wei},
  title     = {International Conference on Theoretical and Mathematical
               Foundations of Computer Science, TMFCS-08, Orlando, Florida,
               USA, July 7-10, 2008},
  booktitle = {TMFCS},
  publisher = {ISRST},
  year      = {2008},
  isbn      = {978-1-60651-006-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}