Publication | Closed Access
The undecidability of unification in third order logic
103
Citations
5
References
1973
Year
Non-classical LogicEngineeringThird Order LogicAutomated ReasoningFormal MethodsFirst-order LogicComputer ScienceHigher-order LogicFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1