BibTeX records: Bal Wang

download as .bib file

@article{DBLP:journals/jlp/ShyamasundarW94,
  author    = {R. K. Shyamasundar and
               Bal Wang},
  title     = {A Methodology for Provin Termination of Logic Programs},
  journal   = {J. Log. Program.},
  volume    = {21},
  number    = {1},
  pages     = {1--30},
  year      = {1994},
  url       = {https://doi.org/10.1016/0743-1066(94)90004-3},
  doi       = {10.1016/0743-1066(94)90004-3},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jlp/ShyamasundarW94.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/WangS91,
  author    = {Bal Wang and
               R. K. Shyamasundar},
  editor    = {Christian Choffrut and
               Matthias Jantzen},
  title     = {Methodology for Proving the Termination of Logic Programs},
  booktitle = {{STACS} 91, 8th Annual Symposium on Theoretical Aspects of Computer
               Science, Hamburg, Germany, February 14-16, 1991, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {480},
  pages     = {214--227},
  publisher = {Springer},
  year      = {1991},
  url       = {https://doi.org/10.1007/BFb0020800},
  doi       = {10.1007/BFb0020800},
  timestamp = {Tue, 14 May 2019 10:00:48 +0200},
  biburl    = {https://dblp.org/rec/conf/stacs/WangS91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/WangS90,
  author    = {Bal Wang and
               R. K. Shyamasundar},
  editor    = {Pierre Deransart and
               Jan Maluszynski},
  title     = {Towards a Characterization of Termination of Logic Programs},
  booktitle = {Programming Language Implementation and Logic Programming, 2nd International
               Workshop PLILP'90, Link{\"{o}}ping, Sweden, August 20-22, 1990,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {456},
  pages     = {204--221},
  publisher = {Springer},
  year      = {1990},
  url       = {https://doi.org/10.1007/BFb0024186},
  doi       = {10.1007/BFb0024186},
  timestamp = {Tue, 14 May 2019 10:00:35 +0200},
  biburl    = {https://dblp.org/rec/conf/plilp/WangS90.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/wsscs/WangS89,
  author    = {Bal Wang and
               R. K. Shyamsundar},
  editor    = {R. Narasimhan},
  title     = {Proving Termination of Logic Programs},
  booktitle = {A Perspective in Theoretical Computer Science - Commemorative Volume
               for Gift Siromoney},
  series    = {World Scientific Series in Computer Science},
  volume    = {16},
  pages     = {380--397},
  publisher = {World Scientific},
  year      = {1989},
  url       = {https://doi.org/10.1142/9789814368452\_0021},
  doi       = {10.1142/9789814368452\_0021},
  timestamp = {Tue, 16 May 2017 14:24:25 +0200},
  biburl    = {https://dblp.org/rec/series/wsscs/WangS89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics