Nuprl Definition : local-simulation-eo
local-simulation-eo(es;e;hdr;locs) ==  global-eo(local-simulation-inputs(es;e;hdr;locs))
Definitions occuring in Statement : 
local-simulation-inputs: local-simulation-inputs(es;e;hdr;locs)
, 
global-eo: global-eo(L)
FDL editor aliases : 
local-simulation-eo
Latex:
local-simulation-eo(es;e;hdr;locs)  ==    global-eo(local-simulation-inputs(es;e;hdr;locs))
Date html generated:
2016_05_17-AM-08_53_24
Last ObjectModification:
2014_08_05-PM-02_27_18
Theory : messages
Home
Index