Nuprl Definition : pv8_p1_Acceptor
pv8_p1_Acceptor(Cid;Op;eq_Cid;ldrs_uid) ==
pv8_p1_AcceptorsP1a(Cid;Op;eq_Cid;ldrs_uid) || pv8_p1_AcceptorsP2a(Cid;Op;eq_Cid;ldrs_uid)
Definitions occuring in Statement :
pv8_p1_AcceptorsP2a: pv8_p1_AcceptorsP2a(Cid;Op;eq_Cid;ldrs_uid),
pv8_p1_AcceptorsP1a: pv8_p1_AcceptorsP1a(Cid;Op;eq_Cid;ldrs_uid),
parallel-class: X || Y
FDL editor aliases :
pv8_p1_Acceptor
pv8_p1_Acceptor
pv8\_p1\_Acceptor(Cid;Op;eq$_{Cid}$;ldrs$_{uid}$) ==
pv8\_p1\_AcceptorsP1a(Cid;Op;eq$_{Cid}$;ldrs$_{uid}$) || pv8\000C\_p1\_AcceptorsP2a(Cid;Op;eq$_{Cid}$;ldrs$_{uid}$)
Date html generated:
2012_02_20-PM-07_26_12
Last ObjectModification:
2012_02_06-PM-01_44_47
Home
Index