WhoCites
Definitions
mb
state
machine
Sections
GenAutomata
Doc
Who Cites cand?
cand
Def A & B == A
B
Syntax:
A & B
has structure:
cand(A; B)
About:
WhoCites
Definitions
mb
state
machine
Sections
GenAutomata
Doc