Pages that link to "Item:Q845695"

The following pages link to Descendants of a recognizable tree language for sets of linear monadic term rewrite rules (Q845695):

Displaying 2 items.

• Murg term rewrite systems (Q975468) (← links)
• Descendants of a recognizable tree language for prefix constrained linear monadic term rewriting with position cutting strategy (Q1637228) (← links)