Pages that link to "Item:Q3779772"
From MaRDI portal
The following pages link to Finite canonical rewriting systems for congruences generated by concurrency relations (Q3779772):
Displayed 5 items.
- Möbius functions and confluent semi-commutations (Q685454) (← links)
- On deciding the confluence of a finite string-rewriting system on a given congruence class (Q1102946) (← links)
- On deciding confluence of finite string-rewriting systems modulo partial commutativity (Q1262758) (← links)
- Weights for total division orderings on strings (Q1346630) (← links)
- Restrictions of congruences generated by finite canonical string-rewriting systems (Q5055732) (← links)