Searching for "Confluence Problems for Trace Rewriting Systems." – sorted by Relevance.
3 documents found, showing 1 through 3.
-
Confluence Problems for Trace Rewriting Systems
- … a vector replacement system. CONFLUENCE PROBLEMS FOR TRACE REWRITING 5 In the rest of this section…
- Cited by 1 (1 self) – Add To MetaCart
-
Decidable First-Order Theories of One-Step Rewriting in Trace Monoids
- … decidability result, we define several subclasses of trace rewriting systems for which the confluence problem…
- Add To MetaCart
-
On the theory of one-step rewriting in trace monoids
- … of trace rewriting systems for which the confluence problem is decidable. The complete proofs can be found…
- Cited by 2 (0 self) – Add To MetaCart
Showing 1 through 3.
