Pages that link to "Item:Q896162"

The following pages link to A complete axiom system for propositional projection temporal logic with cylinder computation model (Q896162):

Displayed 3 items.

• A decision procedure and complete axiomatization for projection temporal logic (Q1986563) ‎ (← links)
• Temporal logic specification mining of programs (Q2220776) ‎ (← links)
• Index set expressions can represent temporal logic formulas (Q2317353) ‎ (← links)