The following pages link to (Q4982354):
Displaying 4 items.
- Program schemata technique for propositional program logics: a 30-year history (Q2216719) (← links)
- Program Schemata Technique to Solve Propositional Program Logics Revised (Q3179178) (← links)
- Propositional temporal logics: decidability and completeness (Q4444910) (← links)
- An Axiomatization of Linear Temporal Logic in the Calculus of Inductive Constructions (Q4812313) (← links)