PREDICATE BOUNDEDNESS OF LINEAR MONADIC DATALOG IS IN PSPACE (Q4528765)

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

scientific article; zbMATH DE number 1563911
Language Label Description Also known as
default for all languages
No label defined
    English
    PREDICATE BOUNDEDNESS OF LINEAR MONADIC DATALOG IS IN PSPACE
    scientific article; zbMATH DE number 1563911

      Statements

      PREDICATE BOUNDEDNESS OF LINEAR MONADIC DATALOG IS IN PSPACE (English)
      0 references
      0 references
      11 February 2001
      0 references
      datalog programs
      0 references

      Identifiers