Z-Module Reasoning: An Equality-Oriented Proving Method with Built-in Ring Axioms - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Tie-Cheng Wang. Z-Module Reasoning: An Equality-Oriented Proving Method with Built-in Ring Axioms. Journal of the ACM, 40(3):558-606, 1993.

@article{Wang93:13,
  title = {Z-Module Reasoning: An Equality-Oriented Proving Method with Built-in Ring Axioms},
  author = {Tie-Cheng Wang},
  year = {1993},
  researchr = {https://researchr.org/publication/Wang93%3A13},
  cites = {0},
  citedby = {0},
  journal = {Journal of the ACM},
  volume = {40},
  number = {3},
  pages = {558-606},
}

runs on WebDSL