Pages that link to "Item:Q6487374"
From MaRDI portal
The following pages link to Timed Petri nets and temporal linear logic (Q6487374):
Displaying 10 items.
- Temporal BI: proof system, semantics and translations (Q391122) (← links)
- Order algebras as models of linear logic (Q1826927) (← links)
- Linear and affine logics with temporal, spatial and epistemic operators (Q2368991) (← links)
- (Q3045259) (← links)
- (Q4220896) (← links)
- (Q4533005) (← links)
- (Q4535186) (← links)
- Full Axiomatisation of Timed Processes of Interval-Timed Petri Nets (Q4637907) (← links)
- From Box Algebra to Interval Temporal Logic (Q5241413) (← links)
- AI 2005: Advances in Artificial Intelligence (Q5898087) (← links)