Revision as of 15:21, 26 January 2007 edit Grokmenow (talk \| contribs) 125 edits No edit summary ← Previous edit		Revision as of 15:21, 26 January 2007 edit undo Grokmenow (talk \| contribs) 125 edits No edit summary Next edit →
Line 1: Fair Computational tree logic is conventional ~~Computational tree logic~~[http://en.wikipedia.org/wiki/Computational_tree_logic ~~link~~ Computational tree logic] studied with explicit fairness constraints. ==References==

Fair computational tree logic: Difference between revisions