Pages that link to "Item:Q1899147"
From MaRDI portal
The following pages link to Petri nets, Horn programs, linear logic and vector games (Q1899147):
Displaying 15 items.
- Collaborative planning with confidentiality (Q540688) (← links)
- Phase semantics and Petri net interpretation for resource-sensitive strong negation (Q1006444) (← links)
- Completeness results for linear logic on Petri nets (Q1361243) (← links)
- Linear logic automata (Q1919766) (← links)
- A proof theory for model checking (Q2331070) (← links)
- Debits and Credits in Petri Nets and Linear Logic (Q2945703) (← links)
- Nonelementary Complexities for Branching VASS, MELL, and Extensions (Q2946760) (← links)
- Complexity Bounds for Sum-Product Logic via Additive Proof Nets and Petri Nets (Q4635793) (← links)
- Formalizing Operational Semantic Specifications in Logic (Q4982629) (← links)
- (Q5014803) (← links)
- State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems (Q5049036) (← links)
- (Q5089315) (← links)
- A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)
- Linear constraint systems as high-level nets (Q6162101) (← links)
- Commutative Lambek grammars (Q6190089) (← links)