Proof by consistency in equational theories
- 6 January 2003
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 228-233
- https://doi.org/10.1109/lics.1988.5122
Abstract
No abstract availableKeywords
This publication has 0 references indexed in Scilit: