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