Pages that link to "Item:Q913524"

The following pages link to A characterisation of deterministic context-free languages by means of right-congruences (Q913524):

Displayed 2 items.

• Some decision problems about controlled rewriting systems (Q910246) ‎ (← links)
• A polynomial algorithm testing partial confluence of basic semi-Thue systems (Q1127336) ‎ (← links)