Confluence in Data Reduction: Bridging Graph Transformation and Kernelization (Q5891215)

From MaRDI portal
scientific article; zbMATH DE number 6214533
Language Label Description Also known as
English
Confluence in Data Reduction: Bridging Graph Transformation and Kernelization
scientific article; zbMATH DE number 6214533

    Statements

    Confluence in Data Reduction: Bridging Graph Transformation and Kernelization (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    10 October 2013
    0 references
    parameterized algorithmics
    0 references
    problem kernel
    0 references
    formal methods
    0 references
    critical pair analysis
    0 references
    confluence
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references