dblp.uni-trier.de www.uni-trier.de

5. RTA 1993: Montreal, Canada

Claude Kirchner (Ed.): Rewriting Techniques and Applications, 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993, Proceedings. Lecture Notes in Computer Science 690 Springer 1993, ISBN 3-540-56868-9 BibTeX
@proceedings{DBLP:conf/rta/1993,
  editor    = {Claude Kirchner},
  title     = {Rewriting Techniques and Applications, 5th International Conference,
               RTA-93, Montreal, Canada, June  16-18, 1993, Proceedings},
  booktitle = {RTA},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {690},
  year      = {1993},
  isbn      = {3-540-56868-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

System Description

Open Problems

Copyright © Sat May 16 23:36:09 2009 by Michael Ley (ley@uni-trier.de)