Content deleted Content added
m Citation maintenance. You can use this bot yourself! Please report any bugs. |
m Bot: Adding Orphan Tag (Questions) (Report Errors) |
||
Line 1:
{{Orphan|date=February 2009}}
'''Fair computational tree logic''' is conventional [[computational tree logic]] studied with explicit fairness constraints.
| |||