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
hasloc(k;i) == \mneg{}\msubb{}(isrcv(k) \mwedge{}\msubb{} (\mneg{}\msubb{}destination(lnk(k)) = i))
Date html generated:
2015_07_17-AM-09_13_54
Last ObjectModification:
2012_02_25-AM-10_53_46
Home
Index