Pages that link to "Item:Q1275021"

The following pages link to The first-order theory of linear one-step rewriting is undecidable (Q1275021):

Displaying 4 items.

• Proving semantic properties as first-order satisfiability (Q2289018) (← links)
• The Existential Fragment of the One-Step Parallel Rewriting Theory (Q3636820) (← links)
• (Q5109511) (← links)
• First-order theory of rewriting for linear variable-separated rewrite systems: automation, formalization, certification (Q6103588) (← links)