GenAutomata
Sections
NuprlLIB
Doc
Def
strict_part(x,y.R(x;y);a;b) == R(a;b) &
R(b;a)
is mentioned
In prior sections:
rel
1
GenAutomata
Sections
NuprlLIB
Doc
R(b;a)