The following pages link to Juvenal Murwanashyaka (Q1670747):
Displaying 7 items.
- Decidable and undecidable fragments of first-order concatenation theory (Q1670748) (← links)
- Weak essentially undecidable theories of concatenation (Q2085573) (← links)
- Hilbert's tenth problem for term algebras with a substitution operator (Q2104269) (← links)
- Weak sequential theories of finite full binary trees (Q2104270) (← links)
- On interpretability between some weak essentially undecidable theories (Q2106592) (← links)
- First-order concatenation theory with bounded quantifiers (Q2219089) (← links)
- Weak essentially undecidable theories of concatenation. II. (Q6128781) (← links)
