Pages that link to "Item:Q1325846"

The following pages link to Decidability of reachability for disjoint union of term rewriting systems (Q1325846):

Displaying 2 items.

• Linear generalized semi-monadic rewrite systems effectively preserve recognizability (Q1127543) (← links)
• Congruential complements of ground term rewrite systems (Q1575250) (← links)