The following pages link to (Q4418639):
Displaying 8 items.
- Undecidable properties of flat term rewrite systems (Q734041) (← links)
- Bottom-up rewriting for words and terms (Q741256) (← links)
- Normalization properties for shallow TRS and innermost rewriting (Q964737) (← links)
- Reachability and confluence are undecidable for flat term rewriting systems (Q1014436) (← links)
- Deciding confluence of certain term rewriting systems in polynomial time (Q1886319) (← links)
- Undecidable Properties on Length-Two String Rewriting Systems (Q2873677) (← links)
- (Q4553285) (← links)
- Uniqueness of Normal Forms for Shallow Term Rewrite Systems (Q5278216) (← links)