Revision as of 21:25, 29 March 2023 edit Citation bot (talk \| contribs) Bots 5,863,200 edits Add: s2cid. \| Use this bot. Report bugs. \| Suggested by Whoop whoop pull up \| #UCB_webform 127/321 ← Previous edit		Revision as of 11:32, 26 April 2023 edit undo Widefox (talk \| contribs) Autopatrolled, Extended confirmed users, Page movers, IP block exemptions, New page reviewers, Pending changes reviewers, Rollbackers 110,632 edits Added {{No footnotes}} tag Tag: Twinkle Next edit →
Line 1: {{No footnotes\|date=April 2023}} '''Fair computational tree logic''' is conventional [[computational tree logic]] studied with explicit fairness constraints.

Fair computational tree logic: Difference between revisions