1 problem
- 0 votes0 replies1 view
Model completion for trace-monoid derivations
Let be a partial commutative monoid generated by a tuple ; equivalently, let be a trace monoid (Cartier–Foata monoid). Let denote the co…
Model completion for trace-monoid derivations
Let be a partial commutative monoid generated by a tuple ; equivalently, let be a trace monoid (Cartier–Foata monoid). Let denote the co…