scientific article
From MaRDI portal
Publication:3838767
zbMath0903.03007MaRDI QIDQ3838767
Andrei Voronkov, Paliath Narendran, Margus Veanes, Anatoli Degtyarev, Yuri Gurevich
Publication date: 13 August 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
fragment of intuitionistic logicsimultaneous rigid \(E\)-unificationclassification of decidability in terms of the quantifier prefix
Analysis of algorithms and problem complexity (68Q25) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Grammars and rewriting systems (68Q42) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (3)
Monadic simultaneous rigid E-unification and related problems ⋮ Simultaneous rigid E-unification and other decision problems related to the Herbrand theorem ⋮ Logic with equality: Partisan corroboration and shifted pairing
This page was built for publication:
