Average-case analysis of Robinson's unification algorithm with two different variables
type: Item
instance of: scholarly article
title: Average-case analysis of Robinson's unification algorithm with two different variables
zbMATH Open document ID: 0681.68058
DOI: 10.1016/0020-0190(89)90078-1
author: Yanyan Li
published in: Information Processing Letters
publication date: 1989-01-01T00:00:00Z
full work available at URL: http://hdl.handle.net/2117/188711
Mathematics Subject Classification ID: 68Q25
Mathematics Subject Classification ID: 68W30
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 68T99
zbMATH DE Number: 4115963
zbMATH Keywords: average complexity
zbMATH Keywords: Robinson's unification algorithm
MaRDI profile type: Publication
OpenAlex ID: W2013823532
cites work: Q4385514
cites work: Q4156973
cites work: An Efficient Unification Algorithm
cites work: A Machine-Oriented Logic Based on the Resolution Principle
cites work: Q4482959
description: scientific article; zbMATH DE number 4115963