SimpleConsensus2() == ThresholdComb2(
List ; + ( ))
Definitions :
ThresholdComb2: ThresholdComb2(A;B),
list: type List,
union: left + right,
product: x:A B[x],
nat: ,
int:
FDL editor aliases :
SimpleConsensus2
SimpleConsensus2() == ThresholdComb2(\mBbbN{} \mtimes{} \mBbbZ{} List \mtimes{} \mBbbN{};\mBbbN{} \mtimes{} \mBbbN{} \mtimes{} \mBbbZ{} + (\mBbbN{} \mtimes{} \mBbbZ{}))
Date html generated:
2010_08_27-PM-08_31_24
Last ObjectModification:
2010_06_24-AM-10_45_54
Home
Index