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
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