Nuprl Definition : prefix-match
prefix-match(p1;p2) ==
if pisend?(p1) ∧b pircv?(p2) then name_eq(pisend-chan(p1);pircv-chan(p2))
if pisend?(p1) ∧b pircv?(p2) then name_eq(pisend-chan(p1);pircv-chan(p2))
else ff
fi
Definitions occuring in Statement :
pircv-chan: pircv-chan(v),
pircv?: pircv?(v),
pisend-chan: pisend-chan(v),
pisend?: pisend?(v),
name_eq: name_eq(x;y),
band: p ∧b q,
ifthenelse: if b then t else f fi ,
bfalse: ff
FDL editor aliases :
prefix-match
Latex:
prefix-match(p1;p2) ==
if pisend?(p1) \mwedge{}\msubb{} pircv?(p2) then name\_eq(pisend-chan(p1);pircv-chan(p2))
if pisend?(p1) \mwedge{}\msubb{} pircv?(p2) then name\_eq(pisend-chan(p1);pircv-chan(p2))
else ff
fi
Date html generated:
2016_05_17-AM-11_22_52
Last ObjectModification:
2012_08_30-PM-01_17_46
Theory : event-logic-applications
Home
Index