scientific article; zbMATH DE number 1088208
From MaRDI portal
Publication:4364523
zbMath0884.03047MaRDI QIDQ4364523
Publication date: 1 April 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
undecidabilitydecidabilitysimultaneous rigid \(E\)-unificationprenex fragment of intuitionistic logic with equality
Undecidability and degrees of sets of sentences (03D35) Decidability of theories and sets of sentences (03B25)
Related Items (5)
Simultaneous rigid E-unification and other decision problems related to the Herbrand theorem ⋮ Monadic simultaneous rigid \(E\)-unification ⋮ Proof-search in intuitionistic logic with equality, or back to 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:
