Unification: a multidisciplinary survey
DOI10.1145/62029.62030zbMath0677.68098OpenAlexW2157266926WikidataQ55921415 ScholiaQ55921415MaRDI QIDQ3833654
Publication date: 1989
Published in: ACM Computing Surveys (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/62029.62030
computational complexitytheorem provingartificial intelligenceinheritancegraphsparallel algorithmsunificationlatticesnatural language processinggeneralizationresolutionpattern matchinglogic programmingtype inferenceequational theorieshigher order logicoccur checkcomputations on discrete structuresprologalgebraic manipulationinfinite termsanalysis of algorithms and problem complexitynonnumerical algorithms and problems
Analysis of algorithms and problem complexity (68Q25) Artificial intelligence (68T99) Data structures (68P05) Natural language processing (68T50)
Related Items