Nuprl Definition : kind-loc
kind-loc(k;i) == islocal(k) ∨bdestination(lnk(k)) = i
Definitions occuring in Statement :
ldst: destination(l),
lnk: lnk(k),
islocal: islocal(k),
eq_id: a = b,
bor: p ∨bq
FDL editor aliases :
kind-loc
Latex:
kind-loc(k;i) == islocal(k) \mvee{}\msubb{}destination(lnk(k)) = i
Date html generated:
2016_05_16-AM-11_00_23
Last ObjectModification:
2012_02_25-AM-10_53_49
Theory : event-ordering
Home
Index