Pages that link to "Item:Q5710410"
From MaRDI portal
The following pages link to Formal Methods in Software and Systems Modeling (Q5710410):
Displaying 6 items.
- \(\mathsf{CoreFun}\): a typed functional reversible core language (Q1796398) (← links)
- Relaxed models for rewriting logic (Q1853590) (← links)
- Logical semantics for the rewriting calculus (Q2848049) (← links)
- Rewriting in Operads and PROPs (Q3549575) (← links)
- (Q4995165) (← links)
- REWRITING WITH STRATEGIES IN $\mathsf{ELAN}$: A FUNCTIONAL SEMANTICS (Q5249248) (← links)