Simultaneous rigid E-unification is undecidable
From MaRDI portal
Publication:6560168
DOI10.1007/3-540-61377-3_38zbMATH Open1541.03021MaRDI QIDQ6560168
Anatoli I. Degtyarev, Andrei Voronkov
Publication date: 21 June 2024
Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Recursive functions and relations, subrecursive hierarchies (03D20) Subsystems of classical logic (including intuitionistic logic) (03B20)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Linear logic
- The undecidability of simultaneous rigid E-unification
- The foundations of mathematics. A study in the philosophy of science
- Rigid E-unification: NP-completeness and applications to equational matings
- The undecidability of the second-order unification problem
- Theorem Proving via General Matings
- On Matrices with Connections
- Positive First-Order Logic Is NP-Complete
- An algorithm for reasoning about equality
- Theorem proving using equational matings and rigid E -unification
- A completion-based method for mixed universal and rigid E-unification
- Mechanical Theorem-Proving by Model Elimination
This page was built for publication: Simultaneous rigid E-unification is undecidable
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6560168)