Pages that link to "Item:Q1670748"
From MaRDI portal
The following pages link to Decidable and undecidable fragments of first-order concatenation theory (Q1670748):
Displaying 10 items.
- On interpretability in the theory of concatenation (Q1038606) (← links)
- Weak essentially undecidable theories of concatenation (Q2085573) (← links)
- First-order concatenation theory with bounded quantifiers (Q2219089) (← links)
- Decidability properties for fragments of CHR (Q3585171) (← links)
- Combinations of Theories for Decidable Fragments of First-Order Logic (Q3655205) (← links)
- Definability in the Existential Theory of Concatenation and Undecidable Extensions of this Theory (Q3773843) (← links)
- (Q4271920) (← links)
- (Q5186755) (← links)
- Decidable fragments of field theories (Q5202171) (← links)
- Notes on Fragments of First-Order Concatenation Theory (Q6300473) (← links)