Pages that link to "Item:Q4812313"
From MaRDI portal
The following pages link to An Axiomatization of Linear Temporal Logic in the Calculus of Inductive Constructions (Q4812313):
Displaying 5 items.
- ``Backward'' coinduction, Nash equilibrium and the rationality of escalation (Q715039) (← links)
- A Coq Library for Verification of Concurrent Programs (Q2871836) (← links)
- Multimodal Separation Logic for Reasoning About Operational Semantics (Q5415628) (← links)
- Specification and verification of a linear-time temporal logic for graph transformation (Q6535505) (← links)
- Interactive matching logic proofs in Coq (Q6605348) (← links)
