Unique Normal Forms and Confluence of Rewrite Systems: Persistence - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Rakesh M. Verma. Unique Normal Forms and Confluence of Rewrite Systems: Persistence. In IJCAI. pages 362-370, 1995.

@inproceedings{Verma95,
  title = {Unique Normal Forms and Confluence of Rewrite Systems: Persistence},
  author = {Rakesh M. Verma},
  year = {1995},
  tags = {graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/Verma95},
  cites = {0},
  citedby = {0},
  pages = {362-370},
  booktitle = {IJCAI},
}

runs on WebDSL