Nuprl Definition : run-lt
run-lt(r) == run-pred(r)+
Definitions occuring in Statement :
run-pred: run-pred(r),
runEvents: runEvents(r),
rel_plus: R+
FDL editor aliases :
run-lt
Latex:
run-lt(r) == run-pred(r)\msupplus{}
Date html generated:
2016_05_17-AM-10_50_06
Last ObjectModification:
2012_02_25-PM-03_43_08
Theory : process-model
Home
Index