Pages that link to "Item:Q1854538"
From MaRDI portal
The following pages link to The undecidability of the first-order theories of one step rewriting in linear canonical systems (Q1854538):
Displaying 3 items.
- The first-order theory of linear one-step rewriting is undecidable (Q1275021) (← links)
- The first-order theory of one-step rewriting is undecidable (Q5055866) (← links)
- First-order theory of rewriting for linear variable-separated rewrite systems: automation, formalization, certification (Q6103588) (← links)