Worst-case groundness analysis using positive Boolean functions (Q4719376)
From MaRDI portal
scientific article; zbMATH DE number 1383837
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Worst-case groundness analysis using positive Boolean functions |
scientific article; zbMATH DE number 1383837 |
Statements
Worst-case groundness analysis using positive Boolean functions (English)
0 references
4 January 2000
0 references
groundness analyses
0 references
Boolean functions
0 references
