The undecidability of the second-order unification problem
- 31 December 1981
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 13 (2) , 225-230
- https://doi.org/10.1016/0304-3975(81)90040-2
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Linear unificationJournal of Computer and System Sciences, 1978
- The undecidability of unification in third order logicInformation and Control, 1973
- Some Results on the Length of ProofsTransactions of the American Mathematical Society, 1973
- Some results on the length of proofsTransactions of the American Mathematical Society, 1973
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965