Program Equivalence and Canonical Forms in Stable Discrete Interpretations - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Gérard Berry, Bruno Courcelle. Program Equivalence and Canonical Forms in Stable Discrete Interpretations. In ICALP. pages 168-188, 1976.

@inproceedings{BerryC76,
  title = {Program Equivalence and Canonical Forms in Stable Discrete Interpretations},
  author = {Gérard Berry and Bruno Courcelle},
  year = {1976},
  researchr = {https://researchr.org/publication/BerryC76},
  cites = {0},
  citedby = {0},
  pages = {168-188},
  booktitle = {ICALP},
}

runs on WebDSL