Pages that link to "Item:Q1176247"
From MaRDI portal
The following pages link to Rewrite, rewrite, rewrite, rewrite, rewrite, \dots (Q1176247):
Displayed 13 items.
- Infinite normal forms for non-linear term rewriting systems (Q672235) (← links)
- Deciding observational congruence of finite-state CCS expressions by rewriting (Q673974) (← links)
- Proving termination of context-sensitive rewriting by transformation (Q859833) (← links)
- Infinitary rewriting: meta-theory and convergence (Q884993) (← links)
- Rewrite, rewrite, rewrite, rewrite, rewrite, \dots (Q1176247) (← links)
- Orders, reduction graphs and spectra (Q1275630) (← links)
- Computing in unpredictable environments: semantics, reduction strategies, and program transformations (Q1389440) (← links)
- Computable total functions on metric algebras, universal algebraic specifications and dynamical systems (Q1764798) (← links)
- Some results on extensionality in lambda calculus (Q1765154) (← links)
- Context-sensitive rewriting strategies (Q1854569) (← links)
- Head boundedness of nonterminating rewritings (Q1894332) (← links)
- On modularity in infinitary term rewriting (Q2496298) (← links)
- Polynomials over the reals in proofs of termination : from theory to practice (Q5313720) (← links)