Pages that link to "Item:Q2866344"
From MaRDI portal
The following pages link to Local Bigraphs and Confluence: Two Conjectures (Q2866344):
Displayed 5 items.
- A prismoid framework for languages with resources (Q654907) (← links)
- Reactive systems, (semi-)saturated semantics and coalgebras on presheaves (Q843097) (← links)
- The Prismoid of Resources (Q3182947) (← links)
- Reactive Systems, Barbed Semantics, and the Mobile Ambients (Q3617735) (← links)
- RPO, Second-Order Contexts, and λ-Calculus (Q5458369) (← links)