Pages that link to "Item:Q5087656"
From MaRDI portal
The following pages link to Compositionality of Rewriting Rules with Conditions (Q5087656):
Displaying 14 items.
- Rewriting theory for the life sciences: a unifying theory of CTMC semantics (Q2049987) (← links)
- Concurrency theorems for non-linear rewriting theories (Q2117255) (← links)
- A Compositional Semantics for ‘If Then’ Conditionals (Q2964013) (← links)
- (Q3795208) (← links)
- (Q3817657) (← links)
- Derivability of rules from rule complexes (Q4803956) (← links)
- Conditional rewrite rule systems with built-in arithmetic and induction (Q5055742) (← links)
- Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics (Q5100733) (← links)
- Constructions of copy rules (Q5504297) (← links)
- Fundamentals of compositional rewriting theory (Q6052944) (← links)
- Advanced consistency restoration with higher-order short-cut rules (Q6535514) (← links)
- Pregeometric spaces from Wolfram model rewriting systems as homotopy types (Q6570188) (← links)
- Advanced model consistency restoration with higher-order short-cut rules (Q6635508) (← links)
- Stochastic graph transformation for social network modeling (Q6649535) (← links)