Universal Unification
- 1 January 1984
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 52 references indexed in Scilit:
- The undecidability of the second-order unification problemTheoretical Computer Science, 1981
- Directed recursive labelnode hypergraphs: A new representation-languageArtificial Intelligence, 1977
- THE PROBLEM OF SOLVABILITY OF EQUATIONS IN A FREE SEMIGROUPMathematics of the USSR-Sbornik, 1977
- Bounds for the String Editing ProblemJournal of the ACM, 1976
- Hilbert's Tenth Problem is UnsolvableThe American Mathematical Monthly, 1973
- A theory of discrete patterns and their implementation in SNOBOL4Communications of the ACM, 1973
- Introduction to “feature analysis of generalized data base management systems”Communications of the ACM, 1971
- A Graph-Theoretic Algorithm for Matching Chemical Structures.Journal of Chemical Documentation, 1965
- GIT—a heuristic program for testing pairs of directed line graphs for isomorphismCommunications of the ACM, 1964
- SNOBOL , A String Manipulation LanguageJournal of the ACM, 1964