Pages that link to "Item:Q1326780"
From MaRDI portal
The following pages link to Linear logic as a logic of computations (Q1326780):
Displayed 9 items.
- Relating state-based and process-based concurrency through linear logic (full-version) (Q731895) (← links)
- Phase semantics and Petri net interpretation for resource-sensitive strong negation (Q1006444) (← links)
- Connection methods in linear logic and proof nets construction (Q1575926) (← links)
- Petri nets, Horn programs, linear logic and vector games (Q1899147) (← links)
- Linear logic automata (Q1919766) (← links)
- Strong planning under uncertainty in domains with numerous but identical elements (a generic approach) (Q2373707) (← links)
- Coordination: Reo, Nets, and Logic (Q3603000) (← links)
- Factorization in generalized power series (Q4699622) (← links)
- 1998–99 Annual Meeting of the Association for Symbolic Logic (Q4940738) (← links)