Pages that link to "Item:Q5055755"
From MaRDI portal
The following pages link to Undecidable properties of syntactic theories (Q5055755):
Displaying 7 items.
- Levels of undecidability in rewriting (Q627134) (← links)
- Syntacticness, cycle-syntacticness and shallow theories (Q1327397) (← links)
- Undecidability of existential properties in picture languages (Q1575948) (← links)
- The connection between the fundamental groupoid and a unification algorithm for syntactic algebras (Extended abstract) (Q3994022) (← links)
- Undecidable properties of syntactic theories (Q5055755) (← links)
- “Syntactic” AC-unification (Q5096305) (← links)
- Transcendental syntax I: deterministic case (Q5269009) (← links)