Pages that link to "Item:Q1062047"
From MaRDI portal
The following pages link to Process logic with regular formulas (Q1062047):
Displaying 7 items.
- Process logic with regular formulas (Q1062047) (← links)
- Computation paths logic: An expressive, yet elementary, process logic (Q1295436) (← links)
- Functional Specification of Hardware via Temporal Logic (Q3176382) (← links)
- From Philosophical to Industrial Logics (Q3601803) (← links)
- Computation paths logic: An expressive, yet elementary, process logic (Q4571972) (← links)
- On the Reconciliation of Logics of Agency and Logics of Event Types (Q4982651) (← links)
- From Monadic Logic to PSL (Q5452203) (← links)
