Pages that link to "Item:Q4812313"

The following pages link to An Axiomatization of Linear Temporal Logic in the Calculus of Inductive Constructions (Q4812313):

Displaying 3 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)