Pages that link to "Item:Q5901574"
From MaRDI portal
The following pages link to Rewriting Techniques and Applications (Q5901574):
Displaying 6 items.
- The reachability and related decision problems for monadic and semi-constructor TRSs (Q844204) (← links)
- Murg term rewrite systems (Q975468) (← links)
- The unification problem for confluent right-ground term rewriting systems. (Q1401934) (← links)
- Problematic configurations and choice-join pairs on Mono-T-Semiflow nets: towards the characterization of behavior-structural properties (Q2197578) (← links)
- Decidability of innermost termination and context-sensitive termination for semi-constructor term rewriting systems (Q2873675) (← links)
- Self-full ceers and the uniform join operator (Q5158363) (← links)