scientific article; zbMATH DE number 1392284
From MaRDI portal
Publication:4936123
zbMath0945.03528MaRDI QIDQ4936123
Publication date: 24 January 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
Simultaneous rigid E-unification and other decision problems related to the Herbrand theorem ⋮ Decidability and complexity of simultaneous rigid E-unification with one variable and related results ⋮ Logic with equality: Partisan corroboration and shifted pairing ⋮ On the undecidability of second-order unification ⋮ Farmer's theorem revisited
This page was built for publication:
