Special cases and substitutes for rigid \(E\)-unification
From MaRDI portal
Publication:1961709
DOI10.1007/s002000050001zbMath0938.03020OpenAlexW2030028426MaRDI QIDQ1961709
Publication date: 5 March 2000
Published in: Applicable Algebra in Engineering, Communication and Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s002000050001
undecidabilityfirst-order logictableauxdecidabilityHorn clausessimultaneous rigid \(E\)-unificationdecidable versiontheorem proving with equality
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (6)
Monadic simultaneous rigid E-unification and related problems ⋮ 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 ⋮ What you always wanted to know about rigid E-unification ⋮ Decidability and complexity of simultaneous rigid E-unification with one variable and related results
This page was built for publication: Special cases and substitutes for rigid \(E\)-unification
