Nuprl Definition : Comm-process-q
Comm-process-q(q;id;st) ==  Comm-process-q_aux(q) id st
Definitions occuring in Statement : 
Comm-process-q_aux: Comm-process-q_aux(q)
, 
apply: f a
FDL editor aliases : 
Comm-process-q
Latex:
Comm-process-q(q;id;st)  ==    Comm-process-q\_aux(q)  id  st
Date html generated:
2016_05_17-AM-11_33_37
Last ObjectModification:
2012_08_30-PM-01_49_29
Theory : event-logic-applications
Home
Index