GenAutomata
Sections
NuprlLIB
Doc
Def
tag_splitable(E;R) ==
tr_1,tr_2:Trace(E). (tr_1 R tr_2)
(
m:Label. < tr_1 > _m R < tr_2 > _m)
is mentioned
In prior sections:
mb
hybrid
GenAutomata
Sections
NuprlLIB
Doc