lnk_rcv{lnk_rcv_compseq_tag_def:o}(tg; l) == compseq(lnk(rcv(l,tg)); l)
Definitions :
lnk: lnk(k),
rcv: rcv(l,tg)
lnk\_rcv\{lnk\_rcv\_compseq\_tag\_def:o\}(tg; l) == compseq(lnk(rcv(l,tg)); l)
Date html generated:
2010_08_26-PM-11_33_16
Last ObjectModification:
2008_02_27-PM-09_23_07
Home
Index