GenAutomata Sections NuprlLIB Doc

Def vc{i:l}() == imp{i:l}()+qimp{i:l}()

is mentioned

In prior sections: mb automata 2 mb automata 4


GenAutomata Sections NuprlLIB Doc