Loria-SaenzS92'

BibTeX

@inproceedings{DBLP:conf/ctrs/Loria-SaenzS92,
  author    = {Carlos Lor\'{\i}a-S{\'a}enz and
               Joachim Steinbach},
  title     = {Termination of Combined (Rewrite and lambda-Calculus) Systems},
  booktitle = {CTRS},
  year      = {1992},
  pages     = {143-147},
  crossref  = {DBLP:conf/ctrs/1992},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ctrs/1992,
  editor    = {Micha{\"e}l Rusinowitch and
               Jean-Luc Remy},
  title     = {Conditional Term Rewriting Systems, Third International
               Workshop, CTRS-92, Pont-{\`a}-Mousson, France, July 8-10,
               1992, Proceedings},
  booktitle = {CTRS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {656},
  year      = {1993},
  isbn      = {3-540-56393-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}