Nuprl Definition : hasloc
hasloc(k;i) ==  ¬b(isrcv(k) ∧b (¬bdestination(lnk(k)) = i))
Definitions occuring in Statement : 
ldst: destination(l)
, 
lnk: lnk(k)
, 
isrcv: isrcv(k)
, 
eq_id: a = b
, 
band: p ∧b q
, 
bnot: ¬bb
FDL editor aliases : 
hasloc
Latex:
hasloc(k;i)  ==    \mneg{}\msubb{}(isrcv(k)  \mwedge{}\msubb{}  (\mneg{}\msubb{}destination(lnk(k))  =  i))
Date html generated:
2016_05_16-AM-11_00_00
Last ObjectModification:
2012_02_25-AM-10_53_46
Theory : event-ordering
Home
Index