Pages that link to "Item:Q3713595"

The following pages link to Equations between Regular Terms and an Application to Process Logic (Q3713595):

Displaying 8 items.

• Process logic: Expressiveness, decidability, completeness (Q1168965) (← links)
• Language equations (Q2074222) (← links)
• Compositional reasoning using intervals and time reversal (Q2251129) (← links)
• Computational completeness of equations over sets of natural numbers (Q2252522) (← links)
• A decision procedure for propositional projection temporal logic with infinite models (Q2480780) (← links)
• A Hierarchical Completeness Proof for Propositional Interval Temporal Logic with Finite Time (Q3643267) (← links)
• A Road Map of Interval Temporal Logics and Duration Calculi (Q5902189) (← links)
• A Road Map of Interval Temporal Logics and Duration Calculi (Q5902190) (← links)