URI(s)
Identifies LC/NAF RWO
Identifies RWO
Exact Matching Concepts from Other Schemes
Closely Matching Concepts from Other Schemes
Sources
- found: Hachtel, G.D. Logic synthesis and verification algorithms, c1996:CIP t.p. (Fabio Somenzi)
Instance Of
Scheme Membership(s)
Collection Membership(s)
Change Notes
- 1996-05-03: new
Alternate Formats