Nuprl Definition : int_consensus_init
int_consensus_init() == <ff, 0, [], [], 0>
Definitions occuring in Statement :
nil: [],
bfalse: ff,
pair: <a, b>,
natural_number: $n
FDL editor aliases :
int_consensus_init
Latex:
int\_consensus\_init() == <ff, 0, [], [], 0>
Date html generated:
2016_05_16-PM-00_37_59
Last ObjectModification:
2012_02_25-AM-11_50_12
Theory : event-ordering
Home
Index