Pages that link to "Item:Q1326780"

The following pages link to Linear logic as a logic of computations (Q1326780):

Displaying 29 items.

• Modeling linear logic with implicit functions (Q392296) (← links)
• Linear logic as a tool for planning under temporal uncertainty (Q534715) (← links)
• Collaborative planning with confidentiality (Q540688) (← links)
• Proof and refutation in MALL as a game (Q636305) (← links)
• 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)
• The complexity of Horn fragments of linear logic (Q1337693) (← links)
• Completeness results for linear logic on Petri nets (Q1361243) (← links)
• Connection methods in linear logic and proof nets construction (Q1575926) (← links)
• Encoding linear logic with interaction combinators (Q1854547) (← 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)
• The completeness of linear logic for Petri net models (Q2743640) (← links)
• Debits and Credits in Petri Nets and Linear Logic (Q2945703) (← links)
• Coordination: Reo, Nets, and Logic (Q3603000) (← links)
• The linear logic of multisets (Q4222188) (← links)
• Local computation in linear logic (Q4304131) (← links)
• Linear Logic and Exceptions (Q4323006) (← links)
• (Q4428313) (← links)
• Factorization in generalized power series (Q4699622) (← links)
• (Q4829655) (← links)
• (Q4842966) (← links)
• (Q4842971) (← links)
• Relating State-Based and Process-Based Concurrency through Linear Logic (Q4917995) (← links)
• System NEL is Undecidable (Q4924537) (← links)
• 1998–99 Annual Meeting of the Association for Symbolic Logic (Q4940738) (← links)
• Object calculi in linear logic (Q4952027) (← links)
• (Q5015209) (← links)