mb
automata
3
Sections
GenAutomata
Doc
Def
[[l]] rho == reduce(
s,m. [[s]] rho
m;Prop;l)
is mentioned by
Def
[[s]] rho == <
op.[[s.fun(op)]] rho,
R.[[s.rel(R)]] rho >
[sig_mng]
Try larger context:
GenAutomata
mb
automata
3
Sections
GenAutomata
Doc
op.[[s.fun(op)]] rho,R.[[s.rel(R)]] rho > s,m. [[s]] rho
m;Prop;l)
op.[[s.fun(op)]] rho,R.[[s.rel(R)]] rho >