Computer Science Logic (Q5394597)
From MaRDI portal
scientific article; zbMATH DE number 5069709
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Computer Science Logic |
scientific article; zbMATH DE number 5069709 |
Statements
Computer Science Logic (English)
0 references
1 November 2006
0 references
proof complexity, Csanky's algorithm, matrix algebra
0 references
