Pages that link to "Item:Q2486579"

The following pages link to Mechanising first-order temporal resolution (Q2486579):

Displaying 11 items.

• On temporal logics with data variable quantifications: decidability and complexity (Q342712) (← links)
• First-order temporal verification in practice (Q851137) (← links)
• Parameterized verification of leader/follower systems via first-order temporal logic (Q2149965) (← links)
• Using temporal logics of knowledge for specification and verification -- a case study (Q2494726) (← links)
• Theorem proving using clausal resolution: from past to present (Q2695485) (← links)
• Temporal Logics of Knowledge and their Applications in Security (Q2866724) (← links)
• Temporal Verification of Fault-Tolerant Protocols (Q3623816) (← links)
• Deductive verification of simple foraging robotic behaviours (Q3653523) (← links)
• Temporal abductive reasoning about biochemical reactions (Q4586234) (← links)
• First-Order Resolution Methods for Modal Logics (Q4916086) (← links)
• Fair Derivations in Monodic Temporal Reasoning (Q5191107) (← links)