Proofs by induction in equational theories with constructors - Concepedia

Concepedia

Publication | Closed Access

Proofs by induction in equational theories with constructors

261

Citations

7

References

1982

Year

Gérard Huet, Jean-Marie Hullot

Journal of Computer and System Sciences

Equational TheoriesAutomated ReasoningProof TheoryProof SystemInductive Reasoning

References

	Year	Citations

Page 1