Pages that link to "Item:Q4594232"
From MaRDI portal
The following pages link to Undecidability of the first order theory of one-step right ground rewriting (Q4594232):
Displayed 7 items.
- The first-order theory of linear one-step rewriting is undecidable (Q1275021) (← links)
- Solvability of context equations with two context variables is decidable (Q1599536) (← links)
- On rewrite constraints and context unification (Q1607044) (← links)
- The undecidability of the first-order theories of one step rewriting in linear canonical systems (Q1854538) (← links)
- Thue trees (Q1861534) (← links)
- The Existential Fragment of the One-Step Parallel Rewriting Theory (Q3636820) (← links)
- Grid structures and undecidable constraint theories (Q5941204) (← links)