Rewriting Techniques and Applications, First International Conference, RTA-85, Dijon, France, May 20-22, 1985, Proceedings

Jean-Pierre Jouannaud, editor, Rewriting Techniques and Applications, First International Conference, RTA-85, Dijon, France, May 20-22, 1985, Proceedings. Volume 202 of Lecture Notes in Computer Science, Springer, 1985.

Conference: RTA1985

@proceedings{rta:1985,
  title = {Rewriting Techniques and Applications, First International Conference, RTA-85, Dijon, France, May 20-22, 1985, Proceedings},
  year = {1985},
  tags = {graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/rta%3A1985},
  cites = {0},
  citedby = {0},
  booktitle = {Rewriting Techniques and Applications, First International Conference, RTA-85, Dijon, France, May 20-22, 1985, Proceedings},
  conference = {RTA},
  editor = {Jean-Pierre Jouannaud},
  volume = {202},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-15976-2},
}