A Theoretical Framework for the Declarative Debugging of Datalog Programs (Q5504584)

From MaRDI portal





scientific article; zbMATH DE number 5496619
Language Label Description Also known as
default for all languages
No label defined
    English
    A Theoretical Framework for the Declarative Debugging of Datalog Programs
    scientific article; zbMATH DE number 5496619

      Statements

      A Theoretical Framework for the Declarative Debugging of Datalog Programs (English)
      0 references
      0 references
      0 references
      0 references
      22 January 2009
      0 references

      Identifiers