BibTeX record conf/acsc/ColvinHHS02

• > Home > conf/acsc/ColvinHHS02

@inproceedings{DBLP:conf/acsc/ColvinHHS02,
  author       = {Robert Colvin and
                  Ian J. Hayes and
                  David Hemer and
                  Paul A. Strooper},
  editor       = {Michael J. Oudshoorn},
  title        = {Translating Refined Logic Programs to Mercury},
  booktitle    = {Computer Science 2002, Twenty-Fifth Australasian Computer Science
                  Conference (ACSC2002), Monash University, Melbourne, Victoria, Australia,
                  January/February 2002},
  series       = {{CRPIT}},
  volume       = {4},
  pages        = {33--40},
  publisher    = {Australian Computer Society},
  year         = {2002},
  url          = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV4Colvin.html},
  timestamp    = {Wed, 10 Feb 2021 08:45:30 +0100},
  biburl       = {https://dblp.org/rec/conf/acsc/ColvinHHS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}