GenAutomata
Sections
NuprlLIB
Doc
Def
(P
Q)(L) == P(L) & Q(L)
is mentioned
In prior sections:
mb
nat
mb
hybrid
GenAutomata
Sections
NuprlLIB
Doc
Q)(L) == P(L) & Q(L)