scientific article; zbMATH DE number 1088208

MaRDI QIDQ4364523zbMATH OpenFDO

Authors Margus Veanes

Publication date 1 April 1998

zbMATH Keywords

decidabilityprenex fragment of intuitionistic logic with equalitysimultaneous rigid \(E\)-unificationundecidability

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Undecidability and degrees of sets of sentences (03D35)

Recommendations

• scientific article; zbMATH DE number 1189065
• The undecidability of simultaneous rigid E-unification
• Decidability and complexity of simultaneous rigid E-unification with one variable and related results
• scientific article; zbMATH DE number 1110839

Cited in

(13)

• Decidability and complexity of simultaneous rigid E-unification with one variable and related results
• Logic with equality: Partisan corroboration and shifted pairing
• Simultaneous rigid E-unification and other decision problems related to the Herbrand theorem
• Monadic simultaneous rigid E-unification
• Special cases and substitutes for rigid \(E\)-unification
• scientific article; zbMATH DE number 1189065 (Why is no real title available?)
• scientific article; zbMATH DE number 1110839 (Why is no real title available?)
• Monadic simultaneous rigid E-unification and related problems
• Proof-search in intuitionistic logic with equality, or back to simultaneous rigid \(E\)-unification
• scientific article; zbMATH DE number 6302892 (Why is no real title available?)
• Simultaneous rigid E-unification is undecidable
• Ramsey quantifiers over automatic structures: complexity and applications to verification
• 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 Q4364523)