Pages that link to "Item:Q844204"
From MaRDI portal
The following pages link to The reachability and related decision problems for monadic and semi-constructor TRSs (Q844204):
Displaying 5 items.
- Murg term rewrite systems (Q975468) (← links)
- Problematic configurations and choice-join pairs on Mono-T-Semiflow nets: towards the characterization of behavior-structural properties (Q2197578) (← links)
- Reachability via Cooperating Morphisms (Q4982083) (← links)
- New Undecidability Results for Properties of Term Rewrite Systems (Q5166638) (← links)
- Rewriting Techniques and Applications (Q5901574) (← links)