Expressive power and complexity in algebraic logic (Q4344697)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Expressive power and complexity in algebraic logic |
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