Lattice-Valued Binary Decision Diagrams (Q4931290)
From MaRDI portal
scientific article; zbMATH DE number 5795628
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Lattice-Valued Binary Decision Diagrams |
scientific article; zbMATH DE number 5795628 |
Statements
Lattice-Valued Binary Decision Diagrams (English)
0 references
4 October 2010
0 references
