Pages that link to "Item:Q5079769"

The following pages link to Extending Fairness Expressibility of ECTL+: A Tree-Style One-Pass Tableau Approach (Q5079769):

Displayed 1 item.

• Branching-time logic \(\mathsf{ECTL}^{\#}\) and its tree-style one-pass tableau: extending fairness expressibility of \(\mathsf{ECTL}^+\) (Q1989347) ‎ (← links)