Pages that link to "Item:Q5055775"
From MaRDI portal
The following pages link to Divergence phenomena during completion (Q5055775):
Displaying 5 items.
- Solving divergence in Knuth--Bendix completion by enriching signatures (Q685379) (← links)
- Undecidable properties of monoids with word problem solvable in linear time. (Q1401160) (← links)
- FDT is undecidable for finitely presented monoids with solvable word problems (Q5055951) (← links)
- Conditional semi-Thue systems for presenting monoids (Q5096810) (← links)
- A strategy to deal with divergent rewrite systems (Q5881210) (← links)