scientific article
From MaRDI portal
Publication:3140630
zbMath0806.03036MaRDI QIDQ3140630
Publication date: 28 November 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
Simultaneous rigid E-unification and other decision problems related to the Herbrand theorem ⋮ Generalizing proofs in monadic languages (with a postscript by Georg Kreisel). ⋮ The undecidability of simultaneous rigid E-unification ⋮ Logic with equality: Partisan corroboration and shifted pairing
This page was built for publication:
