scientific article; zbMATH DE number 1110839

MaRDI QIDQ4375199zbMATHFDO

Authors Margus Veanes

Publication date 28 January 1998

zbMATH Keywords

automated theorem proving methodsHerbrand Skeleton problem

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Proof theory in general (including proof-theoretic semantics) (03F03)

Recommendations

• Decidability and complexity of simultaneous rigid E-unification with one variable and related results
• scientific article; zbMATH DE number 1189065
• scientific article; zbMATH DE number 1088208
• The undecidability of simultaneous rigid E-unification
• Proof search in intuitionistic logic with equality, or back to simultaneous rigid \(E\)-unification

Cited in

(9)

• Proof-search in intuitionistic logic with equality, or back to simultaneous rigid \(E\)-unification
• scientific article; zbMATH DE number 1189065 (Why is no real title available?)
• Simultaneous rigid E-unification and other decision problems related to the Herbrand theorem
• Restricted unification in the DL \(\mathcal{FL}_0\)
• scientific article; zbMATH DE number 1189062 (Why is no real title available?)
• The undecidability of simultaneous rigid E-unification
• RIGID REACHABILITY, THE NON-SYMMETRIC FORM OF RIGID E-UNIFICATION
• scientific article; zbMATH DE number 2044516 (Why is no real title available?)
• Simultaneous rigid E-unification is undecidable

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4375199)