Mathematical Foundations of Computer Science 2003 (Q5431351)
From MaRDI portal
scientific article; zbMATH DE number 5218867
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Mathematical Foundations of Computer Science 2003 |
scientific article; zbMATH DE number 5218867 |
Statements
Mathematical Foundations of Computer Science 2003 (English)
0 references
7 December 2007
0 references
computational complexity
0 references
Boolean functions
0 references
Boolean isomorphism
0 references
Boolean equivalence
0 references
closed classes
0 references
Dichotomy
0 references
Post
0 references
satisfiability problems
0 references
