Content deleted Content added
No edit summary |
NickPenguin (talk | contribs) no consensus to merge |
||
Line 1:
'''Fair computational tree logic''' is conventional [[computational tree logic]] studied with explicit fairness constraints.
| |||
No edit summary |
no consensus to merge |
||
Line 1:
'''Fair computational tree logic''' is conventional [[computational tree logic]] studied with explicit fairness constraints.
| |||