Nuprl Definition : cs-rcv-vote
Vote[a;i;v] == inr <a, i, v>
Definitions occuring in Statement :
pair: <a, b>,
inr: inr x
FDL editor aliases :
cs-rcv-vote
Latex:
Vote[a;i;v] == inr <a, i, v>
Date html generated:
2016_05_16-PM-00_33_05
Last ObjectModification:
2012_02_25-AM-11_48_44
Theory : event-ordering
Home
Index