Concepedia
Publication | Closed Access
Formation of Generalized Equivalence Classes
87
Citations
21
References
1993
Year
Type TheoryEquivalence CheckingUniversal AlgebraGeneralized Equivalence Classes
Page 1