About the Paterson-Wegman linear unification algorithm
type: Item
instance of: scholarly article
title: About the Paterson-Wegman linear unification algorithm
zbMATH Open document ID: 0645.68103
DOI: 10.1016/0022-0000(86)90003-6
author: Dennis De Champeaux
published in: Journal of Computer and System Sciences
publication date: 1986-01-01T00:00:00Z
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 68N25
Mathematics Subject Classification ID: 68W99
Mathematics Subject Classification ID: 68Q25
zbMATH DE Number: 4053068
zbMATH Keywords: Paterson-Wegman unification algorithm
zbMATH Keywords: pre-processor
zbMATH Keywords: post-processor
zbMATH Keywords: structure sharing
zbMATH Keywords: core algorithm
MaRDI profile type: Publication
full work available at URL: 0022-0000(86)90003-6
OpenAlex ID: W2008943547
cites work: Q5679729
cites work: Q4139711
cites work: Q3856120
cites work: Q4140378
cites work: Linear unification
cites work: A Machine-Oriented Logic Based on the Resolution Principle
description: scientific article; zbMATH DE number 4053068