AC-unification race: The system solving approach, implementation and benchmarks
type: Item
instance of: scholarly article
title: AC-unification race: The system solving approach, implementation and benchmarks
zbMATH Open document ID: 0769.68053
DOI: 10.1016/0747-7171(92)90025-Y
author: Mohamed Adi
author: Claude Kirchner
published in: Journal of Symbolic Computation
publication date: 1993-01-16T00:00:00Z
Mathematics Subject Classification ID: 68W30
zbMATH DE Number: 94728
zbMATH Keywords: implementation in C
zbMATH Keywords: Associative-Commutative unification algorithm
zbMATH Keywords: specification
zbMATH Keywords: program
zbMATH Keywords: solving systems of equations
describes a project that uses: ORME
MaRDI profile type: Publication
cites work: Competing for the \(AC\)-unification race
cites work: On equational theories, unification, and (un)decidability
cites work: Q3359655
cites work: Q4035235
cites work: Q3338216
cites work: Q3962973
cites work: Unification in abelian semigroups
cites work: Q3835440
cites work: An algorithm to generate the basis of solutions to homogeneous linear Diophantine equations
cites work: Q4297316
cites work: Q3785940
cites work: Q3993363
cites work: Q4723808
cites work: Non-negative integer basis algorithms for linear equations with integer coefficients
cites work: Algebraic and logic programming. Second international conference, Nancy, France, October 1--3, 1990. Proceedings
cites work: Minimal solutions of linear diophantine systems : bounds and algorithms
cites work: Q3484383
cites work: A Unification Algorithm for Associative-Commutative Functions
cites work: Unification in a combination of equational theories: an efficient algorithm
description: scientific article; zbMATH DE number 94728