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