Pages that link to "Item:Q730470"

The following pages link to Termination criteria for tree automata completion (Q730470):

Displaying 5 items.

• Descendants of a recognizable tree language for prefix constrained linear monadic term rewriting with position cutting strategy (Q1637228) (← links)
• Pattern eliminating transformations (Q2119103) (← links)
• Some decidability results on one-pass reductions (Q2423761) (← links)
• (Q2980977) (← links)
• (Q4993342) (← links)