All Stories

  1. Improved Descriptional Complexity Results for Simple Semi-Conditional Grammars
  2. Self-Verifying Pushdown and Queue Automata
  3. Diminishable parameterized problems and strict polynomial kernelization
  4. Pattern Matching with Variables
  5. On describing the regular closure of the linear languages with graph-controlled insertion-deletion systems
  6. Non-Isometric Contextual Array Grammars and the Role of Regular Control and Local Selectors
  7. Weak total resolvability in graphs
  8. Using Parametric Transformations Toward Polynomial Kernels for Packing Problems Allowing Overlaps