scientific article; zbMATH DE number 3988695
From MaRDI portal
Publication:3750994
Recommendations
Cited in
(20)- Sequentiality in orthogonal term rewriting systems
- Conditional rewriting logic as a unified model of concurrency
- Computing in unpredictable environments: semantics, reduction strategies, and program transformations
- A short scientific biography of Maurice Nivat
- A causal semantics for CCS via rewriting logic
- Descendants and origins in term rewriting.
- Elimination of conditions
- Confluence by critical pair analysis revisited
- Evaluation strategies for functional logic programming
- scientific article; zbMATH DE number 1722708 (Why is no real title available?)
- Function definitions in term rewriting and applicative programming
- Comparaison et équivalence de sémantiques pour les schémas de programmes non déterministes
- scientific article; zbMATH DE number 1508936 (Why is no real title available?)
- scientific article; zbMATH DE number 1889386 (Why is no real title available?)
- Algebraic semantics and complexity of term rewriting systems
- Relating two categorical models of term rewriting
- Redexes are stable in the -calculus
- A Human-Oriented Term Rewriting System
- Semantics of non-terminating rewrite systems using minimal coverings
- On abstract normalisation beyond neededness
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3750994)
