Nuprl Definition : Paxos-spec8-spec73
Collect1 == es-collect-opt-max(x1; x2; x3 + 1; vs.fst(snd(vs)); vs.snd(snd(vs)))
Definitions occuring in Statement :
pi1: fst(t),
pi2: snd(t),
add: n + m,
natural_number: $n
Collect1 == es-collect-opt-max(x1; x2; x3 + 1; vs.fst(snd(vs)); vs.snd(snd(vs)))
Date html generated:
2015_07_17-AM-09_10_45
Last ObjectModification:
2012_02_25-AM-10_52_03
Home
Index