Datalog and constraint satisfaction with infinite templates (Q1936249)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Datalog and constraint satisfaction with infinite templates
scientific article

    Statements

    Datalog and constraint satisfaction with infinite templates (English)
    0 references
    0 references
    0 references
    21 February 2013
    0 references
    logic in computer science
    0 references
    computational complexity
    0 references
    constraint satisfaction
    0 references
    Datalog
    0 references
    countably categorical structures
    0 references

    Identifiers