GenAutomata
Sections
NuprlLIB
Doc
Def
[[l]] rho == reduce(
s,m. [[s]] rho
m;Prop;l)
is mentioned
In prior sections:
mb
automata
3
GenAutomata
Sections
NuprlLIB
Doc
s,m. [[s]] rho
m;Prop;l)