Revision as of 15:20, 26 January 2007 edit Grokmenow (talk \| contribs) 125 edits ←Created page with 'Fair Computational tree logic is conventional [Computational tree logic] studied with explicit fairness constraints. ==References== ==References== * {{cite journa...'		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