WhoCites Definitions GenAutomata Sections NuprlLIB Doc

Who Cites cand?
candDef A & B == AB

Syntax:A & B has structure: cand(A; B)

About:
product!abstraction

WhoCites Definitions GenAutomata Sections NuprlLIB Doc