Expressive power and complexity in algebraic logic (Q4344697)
From MaRDI portal
scientific article; zbMATH DE number 1036290
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Expressive power and complexity in algebraic logic |
scientific article; zbMATH DE number 1036290 |
Statements
Expressive power and complexity in algebraic logic (English)
0 references
17 July 1997
0 references
intractability
0 references
complexity
0 references
algebraic logic
0 references
satisfaction problem
0 references
network satisfaction problem
0 references
cylindric algebras
0 references
relation algebra
0 references
homogeneous representations
0 references
interpretation
0 references
