Pages that link to "Item:Q4571948"
From MaRDI portal
The following pages link to Monadic simultaneous rigid E-unification and related problems (Q4571948):
Displaying 10 items.
- The undecidability of simultaneous rigid E-unification (Q671659) (← links)
- Rigid E-unification: NP-completeness and applications to equational matings (Q921913) (← links)
- Decidability and complexity of simultaneous rigid E-unification with one variable and related results (Q1575636) (← links)
- Logic with equality: Partisan corroboration and shifted pairing (Q1854299) (← links)
- On the undecidability of second-order unification (Q1854349) (← links)
- Simultaneous rigid E-unification and other decision problems related to the Herbrand theorem (Q1960430) (← links)
- The existential theory of equations with rational constraints in free groups is PSPACE-complete (Q2573633) (← links)
- Iris: monoids and invariants as an orthogonal basis for concurrent reasoning (Q2819854) (← links)
- Monadic simultaneous rigid E-unification and related problems (Q4571948) (← links)
- RIGID REACHABILITY, THE NON-SYMMETRIC FORM OF RIGID E-UNIFICATION (Q5249028) (← links)