Solving \(*\)-problems modulo distributivity by a reduction to \(AC1\)- unification

DOI10.1006/jsco.1993.1060zbMath0803.68059OpenAlexW1963980691MaRDI QIDQ1322774

Evelyne Contejean

Publication date: 5 May 1994

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/jsco.1993.1060

zbMATH Keywords

distributivityminimal solutions\(AC1\)-unification

Mathematics Subject Classification ID

Applications of universal algebra in computer science (08A70) Decidability of theories and sets of sentences (03B25) Grammars and rewriting systems (68Q42)

Related Items

An algorithm for distributive unification ⋮ Avoiding slack variables in the solving of linear diophantine equations and inequations ⋮ Unification of infinite sets of terms schematized by primal grammars ⋮ A decision algorithm for distributive unification