mb
label
Sections
GenAutomata
Doc
Rank
Theorem
Name
2
Thm*
SQType(Label)
[lbl_sq]
cites
1
Thm*
SQType(Pattern)
[ptn_sq]
mb
label
Sections
GenAutomata
Doc