Pages that link to "Item:Q2743640"
From MaRDI portal
The following pages link to The completeness of linear logic for Petri net models (Q2743640):
Displaying 5 items.
- Phase semantics and Petri net interpretation for resource-sensitive strong negation (Q1006444) (← links)
- On linear logic planning and concurrency (Q1041042) (← links)
- Linear and affine logics with temporal, spatial and epistemic operators (Q2368991) (← links)
- Gentzen-type calculi for involutive quantales (Q2575479) (← links)
- Debits and Credits in Petri Nets and Linear Logic (Q2945703) (← links)
