search author

DBLP BibTeX Record 'conf/stacs/BousdiraR87'

@inproceedings{DBLP:conf/stacs/BousdiraR87,
  author    = {Wadoud Bousdira and
               Jean-Luc Remy},
  title     = {REVEUR4: A Laboratory for Conditional Rewriting},
  booktitle = {STACS},
  year      = {1987},
  pages     = {472-473},
  ee        = {http://dx.doi.org/10.1007/BFb0039631},
  crossref  = {DBLP:conf/stacs/1987},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/stacs/1987,
  editor    = {Franz-Josef Brandenburg and
               Guy Vidal-Naquet and
               Martin Wirsing},
  title     = {STACS 87, 4th Annual Symposium on Theoretical Aspects of
               Computer Science, Passau, Germany, February 19-21, 1987,
               Proceedings},
  booktitle = {STACS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {247},
  year      = {1987},
  isbn      = {3-540-17219-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}