An improved general \(E\)-unification method
type: Item
instance of: scholarly article
title: An improved general \(E\)-unification method
zbMATH Open document ID: 0773.68063
DOI: 10.1016/0747-7171(92)90010-2
author: Daniel J. Dougherty
author: Patricia Johann
published in: Journal of Symbolic Computation
publication date: 1993-01-17T00:00:00Z
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 97802
zbMATH Keywords: paramodulation
MaRDI profile type: Publication
full work available at URL: 0747-7171(92)90010-2
OpenAlex ID: W2026690672
cites work: Q4385532
cites work: Complete sets of unifiers and matchers in equational theories
cites work: Complete sets of transformations for general E-unification
cites work: Q3962973
cites work: Q3737481
cites work: Q3883561
cites work: Q3338225
cites work: An Efficient Unification Algorithm
cites work: Q5678447
cites work: Q5624683
cites work: An improved general E-unification method
description: scientific article; zbMATH DE number 97802