Nuprl Definition : hdf-halted

hdf-halted(P) ==  isr(P)


Definitions occuring in Statement :  isr: isr(x)
FDL editor aliases :  hdf-halted
Latex:
hdf-halted(P)  ==    isr(P)


Date html generated: 2016_05_16-AM-10_37_44
Last ObjectModification: 2012_11_23-PM-02_09_04

Theory : halting!dataflow


Home Index