The undecidability of the third order dyadic unification problem
- 31 August 1978
- journal article
- Published by Elsevier in Information and Control
- Vol. 38 (2) , 170-178
- https://doi.org/10.1016/s0019-9958(78)90172-9
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- A unification algorithm for typed
- Provability in Elementary Type TheoryMathematical Logic Quarterly, 1974
- The undecidability of unification in third order logicInformation and Control, 1973
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965
- A formulation of the simple theory of typesThe Journal of Symbolic Logic, 1940