Pages that link to "Item:Q1234163"
From MaRDI portal
The following pages link to LAR: A logic of algorithmic reasoning (Q1234163):
Displaying 10 items.
- Linear temporal logic symbolic model checking (Q465680) (← links)
- Semantics of algorithmic languages (Q760200) (← links)
- Bounded linear-time temporal logic: a proof-theoretic investigation (Q764266) (← links)
- Combining linear-time temporal logic with constructiveness and paraconsistency (Q975875) (← links)
- Program-substitution and admissibility of rules in algorithmic logic (Q1092655) (← links)
- The temporal semantics of concurrent programs (Q1143164) (← links)
- A formal system for parallel programs in discrete time and space (Q1157161) (← links)
- Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic (Q3393380) (← links)
- The Birth of Model Checking (Q3512430) (← links)
- (Q4742767) (← links)
