scientific article
From MaRDI portal
Publication:3359655
zbMath0733.65028MaRDI QIDQ3359655
Hervé Devie, Evelyne Contejean
Publication date: 1991
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Covariant algebra of the binary nonic and the binary decimic, AC-unification race: The system solving approach, implementation and benchmarks, AC unification through order-sorted AC1 unification, Competing for the \(AC\)-unification race