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 11 items.
- Completeness results for single-path Petri nets (Q690244) (← links)
- Phase semantics and Petri net interpretation for resource-sensitive strong negation (Q1006444) (← links)
- On linear logic planning and concurrency (Q1041042) (← links)
- Completeness results for linear logic on Petri nets (Q1361243) (← links)
- Order algebras as models of linear logic (Q1826927) (← links)
- Linear and affine logics with temporal, spatial and epistemic operators (Q2368991) (← links)
- Gentzen-type calculi for involutive quantales (Q2575479) (← links)
- Linear logic based calculi for object Petri nets (Q2715877) (← links)
- Debits and Credits in Petri Nets and Linear Logic (Q2945703) (← links)
- (Q4223030) (← links)
- (Q4527145) (← links)