scientific article; zbMATH DE number 1110839

zbMATH Open0887.68098MaRDI QIDQ4375199FDOQ4375199

Authors: Margus Veanes 

Publication date: 28 January 1998

Title of this publication is not available (Why is that?)

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

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)

Cited In (9)

• Simultaneous rigid E-unification and other decision problems related to the Herbrand theorem
• Simultaneous rigid E-unification is undecidable
• Restricted unification in the DL \(\mathcal{FL}_0\)
• Title not available (Why is that?)
• Proof-search in intuitionistic logic with equality, or back to simultaneous rigid \(E\)-unification
• Title not available (Why is that?)
• Title not available (Why is that?)
• RIGID REACHABILITY, THE NON-SYMMETRIC FORM OF RIGID E-UNIFICATION
• The undecidability of simultaneous rigid E-unification

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)