\(E\)-unification with constants vs. general \(E\)-unification
type: Item
instance of: scholarly article
title: \(E\)-unification with constants vs. general \(E\)-unification
zbMATH Open document ID: 1260.03019
author: Jan Otop
published in: Journal of Automated Reasoning
publication date: 2012-07-31T00:00:00Z
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 68Q42
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 6062066
zbMATH Keywords: \(E\)-unification with constants
zbMATH Keywords: general \(E\)-unification
zbMATH Keywords: combination problem
MaRDI profile type: Publication
full work available at URL: s10817-010-9201-2
OpenAlex ID: W1981828430
cites work: Unification in commutative idempotent monoids
cites work: Term Rewriting and All That
cites work: Q4264733
cites work: Unification in the union of disjoint equational theories: Combining decision procedures
cites work: Unification theory
cites work: Q4506483
cites work: Complexity of unification problems with associative-commutative operators
cites work: Single versus simultaneous equational unification and equational unification for variable-permuting theories
cites work: Fast Decision Procedures Based on Congruence Closure
cites work: Unification in a combination of arbitrary disjoint equational theories
DOI: 10.1007/S10817-010-9201-2
description: scientific article; zbMATH DE number 6062066