Pages that link to "Item:Q5179128"
From MaRDI portal
The following pages link to Strategy-Based Proof Calculus for Membrane Systems (Q5179128):
Displayed 6 items.
- Twenty years of rewriting logic (Q1931904) (← links)
- Parameterized strategies specification in Maude (Q2185882) (← links)
- Simulating and model checking membrane systems using strategies in Maude (Q2667188) (← links)
- Strategy-Based Rewrite Semantics for Membrane Systems Preserves Maximal Concurrency of Evolution Rule Actions (Q5170164) (← links)
- Patterns for Maude Metalanguage Applications (Q5179132) (← links)
- The Maude strategy language (Q6113021) (← links)