Revision as of 15:52, 26 January 2007 edit Grokmenow (talk \| contribs) 125 edits No edit summary ← Previous edit		Revision as of 16:04, 26 January 2007 edit undo Grokmenow (talk \| contribs) 125 edits No edit summary Next edit →
Line 29: ==Emersion Lei Algorithm== [EGφ] = νZ .([φ] ∩ [EXZ ]) ==References==

Fair computational tree logic: Difference between revisions