Nuprl Definition : pv11_p1_Acceptor-program
pv11_p1_Acceptor-program(Cmd;ldrs_uid;mf) ==
pv11_p1_AcceptorsP1a-program(Cmd;ldrs_uid;mf) || pv11_p1_AcceptorsP2a-program(Cmd;ldrs_uid;mf)
Definitions occuring in Statement :
pv11_p1_AcceptorsP2a-program: pv11_p1_AcceptorsP2a-program(Cmd;ldrs_uid;mf),
pv11_p1_AcceptorsP1a-program: pv11_p1_AcceptorsP1a-program(Cmd;ldrs_uid;mf),
parallel-class-program: X || Y
FDL editor aliases :
pv11_p1_Acceptor-program
Latex:
pv11\_p1\_Acceptor-program(Cmd;ldrs$_{uid}$;mf) ==
pv11\_p1\_AcceptorsP1a-program(Cmd;ldrs$_{uid}$;mf) || pv11\_p1\_AcceptorsP2a-prog\000Cram(Cmd;ldrs$_{uid}$;mf)
Date html generated:
2015_07_23-PM-04_13_15
Last ObjectModification:
2014_11_26-AM-11_26_29
Home
Index