Maintaining distributed logic programs incrementally (Q456472)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Maintaining distributed logic programs incrementally
scientific article

    Statements

    Maintaining distributed logic programs incrementally (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    25 October 2012
    0 references
    declarative networking
    0 references
    correctness
    0 references
    logic programming
    0 references
    distributed Datalog
    0 references

    Identifiers