Graphs
Sections
NuprlLIB
Doc
Def
adjm-edge-accum(M;s',x'.f(s';x');s;x) == primrec(M.size;s;
y,s'. if M.adj(x,y)
f(s';y) else s' fi)
is mentioned
In prior sections:
graph
1
3
Graphs
Sections
NuprlLIB
Doc
y,s'. if M.adj(x,y)
f(s';y) else s' fi)