The following pages link to Juvenal Murwanashyaka (Q1670747):
Displaying 10 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)
- Notes on Interpretability between Weak First-order Theories: Theories of Sequences (Q6522931) (← links)
- A weak theory of building blocks (Q6589164) (← links)
- There are no minimal essentially undecidable theories (Q6636679) (← links)
