scientific article; zbMATH DE number 3275581
From MaRDI portal
Publication:5559244
zbMath0173.01004MaRDI QIDQ5559244
Publication date: 1965
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
The undecidability of simultaneous rigid E-unification ⋮ Decidability and complexity of simultaneous rigid E-unification with one variable and related results ⋮ Logic with equality: Partisan corroboration and shifted pairing
This page was built for publication:
