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