Nuprl Definition : vlnk
link_x from i to j ==  <i, j, x>
Definitions occuring in Statement : 
pair: <a, b>
FDL editor aliases : 
vlnk
Latex:
link\_x  from  i  to  j  ==    <i,  j,  x>
Date html generated:
2016_05_16-AM-10_57_18
Last ObjectModification:
2012_02_25-AM-10_53_12
Theory : event-ordering
Home
Index