Pages that link to "Item:Q1575636"
From MaRDI portal
The following pages link to Decidability and complexity of simultaneous rigid E-unification with one variable and related results (Q1575636):
Displaying 10 items.
- The undecidability of simultaneous rigid E-unification (Q671659) (← links)
- Rigid E-unification: NP-completeness and applications to equational matings (Q921913) (← links)
- Proof search in intuitionistic logic with equality, or back to simultaneous rigid \(E\)-unification (Q1272615) (← links)
- Logic with equality: Partisan corroboration and shifted pairing (Q1854299) (← links)
- Simultaneous rigid E-unification and other decision problems related to the Herbrand theorem (Q1960430) (← links)
- Monadic simultaneous rigid \(E\)-unification (Q1960540) (← links)
- Algebraic properties of complete residuated lattice valued tree automata (Q2392561) (← links)
- DKAL and Z3: A Logic Embedding Experiment (Q3586018) (← links)
- TREE AUTOMATA BASED ON COMPLETE RESIDUATED LATTICE-VALUED LOGIC: REDUCTION ALGORITHM AND DECISION PROBLEMS (Q4626611) (← links)
- RIGID REACHABILITY, THE NON-SYMMETRIC FORM OF RIGID E-UNIFICATION (Q5249028) (← links)