scientific article; zbMATH DE number 1341608
From MaRDI portal
Publication:4263157
zbMath0941.68070MaRDI QIDQ4263157
Klaus U. Schulz, Manfred Schmidt-Schauss
Publication date: 22 September 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Decidability of bounded second order unification ⋮ Solvability of context equations with two context variables is decidable
This page was built for publication:
