The following pages link to (Q3750994):
Displayed 13 items.
- On abstract normalisation beyond neededness (Q683744) (← links)
- Sequentiality in orthogonal term rewriting systems (Q1186735) (← links)
- Conditional rewriting logic as a unified model of concurrency (Q1190488) (← links)
- Computing in unpredictable environments: semantics, reduction strategies, and program transformations (Q1389440) (← links)
- A short scientific biography of Maurice Nivat (Q1605477) (← links)
- A causal semantics for CCS via rewriting logic (Q1606128) (← links)
- Descendants and origins in term rewriting. (Q1854348) (← links)
- Elimination of conditions (Q1974693) (← links)
- Confluence by critical pair analysis revisited (Q2305423) (← links)
- Evaluation strategies for functional logic programming (Q2456576) (← links)
- Comparaison et équivalence de sémantiques pour les schémas de programmes non déterministes (Q3774922) (← links)
- Relating two categorical models of term rewriting (Q5055833) (← links)
- Redexes are stable in the λ-calculus (Q5269004) (← links)