Nuprl Definition : Memory4
Memory4(init;tr1;X1;tr2;X2;tr3;X3;tr4;X4) == Memory-loc-class(tr1 + tr2 + tr3 + tr4;init;X1 (+) X2 (+) X3 (+) X4)
Definitions occuring in Statement :
disjoint-union-comb: X (+) Y,
disjoint-union-tr: tr1 + tr2,
Memory-loc-class: Memory-loc-class(f;init;X)
FDL editor aliases :
Memory4
Memory4(init;tr1;X1;tr2;X2;tr3;X3;tr4;X4) ==
Memory-loc-class(tr1 + tr2 + tr3 + tr4;init;X1 (+) X2 (+) X3 (+) X4)
Date html generated:
2012_01_23-PM-01_30_56
Last ObjectModification:
2012_01_11-AM-11_22_38
Home
Index