scientific article
From MaRDI portal
Publication:3965578
zbMath0499.68039MaRDI QIDQ3965578
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
canonical equational theoriesminimal universal matching algorithmminimal universal unification algorithm
This page was built for publication: