Pages that link to "Item:Q1919758"
From MaRDI portal
The following pages link to Linear logic for nets with bounded resources (Q1919758):
Displaying 7 items.
- Linear logic with fixed resources (Q1326773) (← links)
- Interaction nets for linear logic (Q1583245) (← links)
- In memoriam: Mikhail A. Taitslin, 1936--2013 (Q2925327) (← links)
- Linear Types and Locality (Q2937688) (← links)
- Bounding Fan-out in Logical Networks (Q3030723) (← links)
- Linear Exponentials as Resource Operators: A Decidable First-order Linear Logic with Bounded Exponentials (Q3532470) (← links)
- On the Use of Linear Combination in PWCP-Nets (Q4957392) (← links)