scientific article; zbMATH DE number 3532939
From MaRDI portal
Publication:4109666
zbMath0342.02034MaRDI QIDQ4109666
Publication date: 1976
Full work available at URL: https://eudml.org/doc/66283
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
The undecidability of simultaneous rigid E-unification ⋮ Proof-search in intuitionistic logic with equality, or back to simultaneous rigid E-unification ⋮ On the Mints Hierarchy in First-Order Intuitionistic Logic ⋮ 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: