The following pages link to Michael Bertol (Q1130163):
Displayed 6 items.
- Nonfinite axiomatizability of the equational theory of shuffle (Q1130164) (← links)
- (Q4338856) (← links)
- (Q4436368) (← links)
- Trace rewriting: Computing normal forms in time O(n log n) (Q4593937) (← links)
- Nonfinite axiomatizability of the equational theory of shuffle (Q4645164) (← links)
- Efficient rewriting in cograph trace monoids (Q5055886) (← links)