GenAutomata Sections NuprlLIB Doc

Def covers_pred(A;p) == x:Label. pred_mentions(p;x) covers_var(A;x)

is mentioned

In prior sections: mb automata 3 mb automata 4


GenAutomata Sections NuprlLIB Doc