BibTeX record journals/entcs/HemerHSC02

• > Home > journals/entcs/HemerHSC02

@inproceedings{DBLP:journals/entcs/HemerHSC02,
  author       = {David Hemer and
                  Ian J. Hayes and
                  Paul A. Strooper and
                  Robert Colvin},
  editor       = {James Harland},
  title        = {Don't Care Non-determinism in Logic Program Refinement},
  booktitle    = {Computing: the Australasian Theory Symposium, {CATS} 2002, Melbourne,
                  Australia},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {61},
  pages        = {101--121},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(04)00308-1},
  doi          = {10.1016/S1571-0661(04)00308-1},
  timestamp    = {Fri, 11 Nov 2022 16:19:03 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HemerHSC02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}