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.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (4)
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
This page was built for publication: