Constrained Equational Deduction

@inproceedings{Darlington1990ConstrainedED,
  title={Constrained Equational Deduction},
  author={John Darlington and Yike Guo},
  booktitle={CTRS},
  year={1990}
}

From This Paper

Topics from this paper.

Citations

Publications citing this paper.

Similar Papers

Loading similar papers…