Abstraction of Conditional Term Rewriting Systems - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Didier Bert, Rachid Echahed. Abstraction of Conditional Term Rewriting Systems. In ILPS. pages 162-176, 1995.

@inproceedings{DidierE95,
  title = {Abstraction of Conditional Term Rewriting Systems},
  author = {Didier Bert and Rachid Echahed},
  year = {1995},
  tags = {term rewriting, graph-rewriting, abstraction, rewriting},
  researchr = {https://researchr.org/publication/DidierE95},
  cites = {0},
  citedby = {0},
  pages = {162-176},
  booktitle = {ILPS},
}

runs on WebDSL