GenAutomata Sections NuprlLIB Doc

Def covers_rel(A;r) == x:Label. rel_mentions(r;x) covers_var(A;x)

is mentioned

In prior sections: mb automata 3 mb automata 4


GenAutomata Sections NuprlLIB Doc