Unification in the union of disjoint equational theories: Combining decision procedures
type: Item
instance of: scholarly article
title: Unification in the union of disjoint equational theories: Combining decision procedures
zbMATH Open document ID: 0851.68055
author: Franz Baader
author: K. U. Schulz
published in: Journal of Symbolic Computation
publication date: 1996-12-08T00:00:00Z
Mathematics Subject Classification ID: 68V15
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 03C05
zbMATH DE Number: 906770
zbMATH Keywords: \(A\)-unifiability
zbMATH Keywords: solvability
MaRDI profile type: Publication
OpenAlex ID: W2082354652
Wikidata QID: Q57383738
DOI: 10.1006/JSCO.1996.0009
DBLP publication ID: journals/jsc/BaaderS96
Recommended article: Unification in a combination of arbitrary disjoint equational theories
Recommended article: Q3811748
Recommended article: Combining decision algorithms for matching in the union of disjoint equational theories
Recommended article: Unification in a combination of equational theories: an efficient algorithm
Recommended article: Q3835440
Recommended article: Q3703312
Recommended article: Unions of non-disjoint theories and combinations of satisfiability procedures
Recommended article: Q3716322
Recommended article: Q3779785
Recommended article: Q3786020
description: scientific article; zbMATH DE number 906770