Expressive power and complexity in algebraic logic (Q4344697)

From MaRDI portal





scientific article; zbMATH DE number 1036290
Language Label Description Also known as
default for all languages
No label defined
    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
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references
      0 references