Concepedia
Publication | Closed Access
An Elementary Core Equivalence Theorem
144
Citations
7
References
1978
Year
EngineeringAutomated ReasoningClassical LogicFormal MethodsEquivalence CheckingHigher-order Logic
Page 1