Cover Image

Moving a Derivation Along a Derivation Preserves the Spine in Adhesive Categories

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Kreowski, Hans-Jörg, Lye, Aaron, Windhorst, Aljoscha
Format:	Preprint
Published:	2023
Subjects:	Discrete Mathematics
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Using Graph Theory to Derive Inequalities for the Bell Numbers
by: Hertz, Alain, et al.
Published: (2021)

On the Hardness of Gray Code Problems for Combinatorial Objects
by: Merino, Arturo, et al.
Published: (2024)

A Simplified Proof for the Edge-Density of 4-Planar Graphs
by: Büngener, Aaron
Published: (2025)

Improving SAT Solvers on Orthogonal Latin Square Problems
by: Barnoff, Aaron, et al.
Published: (2026)

The Spectrum of the Singular Values of Z-Shaped Graph Matrices
by: Cai, Wenjun, et al.
Published: (2020)

Infinite precedence graphs for consistency verification in P-time event graphs
by: Zorzenon, Davide, et al.
Published: (2025)

Gap Preserving Reductions Between Reconfiguration Problems
by: Ohsaka, Naoto
Published: (2022)

On the parameterized complexity of computing tree-partitions
by: Bodlaender, Hans L., et al.
Published: (2022)

Switched max-plus linear-dual inequalities: cycle time analysis and applications
by: Zorzenon, Davide, et al.
Published: (2023)

Weak consistency of P-time event graphs
by: Zorzenon, Davide, et al.
Published: (2022)

Finding a Sparse Connected Spanning Subgraph in a non-Uniform Failure Model
by: Bentert, Matthias, et al.
Published: (2023)

Playing Snake on a Graph
by: Graafsma, Denise, et al.
Published: (2025)

Multimodal Search on a Line
by: Coleman, Jared, et al.
Published: (2025)

Remote control system of a binary tree of switches -- II. balancing for a perfect binary tree
by: Golinelli, Olivier
Published: (2024)

Optimal Delivery with a Faulty Drone
by: Coleman, Jared, et al.
Published: (2024)

A Simulation of Optimal Dryness When Moving in the Rain or Snow Using MATLAB
by: Zhao, Neil, et al.
Published: (2024)

Fibonacci Index and Stability Number of Graphs: a Polyhedral Study
by: Bruyère, Véronique, et al.
Published: (2008)

Distribution of codewords on the faces of a hypercube and new combinatorial identities
by: Abdurakhmanov, Jamolidin K.
Published: (2025)

Distance-Preserving Graph Compression Techniques
by: Madani, Amirali, et al.
Published: (2023)

Search for an Immobile Hider on a Binary Tree with Unreliable Locational Information
by: Alpern, Steve, et al.
Published: (2023)

Optimal Trading of a Charging-Station Company in Auction Markets for Electricity
by: Sohrabi, Farnaz, et al.
Published: (2025)

Conditional Separation as a Binary Relation. A Coq Assisted Proof
by: Chancelier, Jean-Philippe, et al.
Published: (2021)

Counting Tree-Like Multigraphs with a Given Number of Vertices and Multiple Edges
by: Ilyas, Muhammad, et al.
Published: (2025)

Remote control system of a binary tree of switches -- I. constraints and inequalities
by: Golinelli, Olivier
Published: (2024)

Elementary methods for splitting representations of Rook monoids: a gentle introduction to groupoids
by: Duchamp, Gérard Henry Edmond, et al.
Published: (2024)

Broadcast via Mobile Agents in a Dynamic Network: Interplay of Graph Properties & Agents
by: Moses Jr., William K., et al.
Published: (2025)

Who Should Have a Place on the Ark? Parameterized Algorithms for the Maximization of Phylogenetic Diversity
by: Schestag, Jannik
Published: (2025)

Flip Dynamics for Sampling Colorings: Improving $(11/6-ε)$ Using a Simple Metric
by: Carlson, Charlie, et al.
Published: (2024)

Results on cubic bent and weakly regular bent $p$-ary functions leading to a class of cubic ternary non-weakly regular bent functions
by: Carlet, Claude, et al.
Published: (2025)

Trade-off between spread and width for tree decompositions
by: Bodlaender, Hans L., et al.
Published: (2026)

Exhaustive Generation of Pattern-Avoiding s-Words
by: Buick, Samuel, et al.
Published: (2025)

On $k$-planar Graphs without Short Cycles
by: Bekos, Michael A., et al.
Published: (2024)

Hypergraph Splitting-Off via Element-Connectivity Preserving Reductions
by: Chandrasekaran, Karthekeyan, et al.
Published: (2025)

On the Confluence of Directed Graph Reductions Preserving Feedback Vertex Set Minimality
by: Abdenbi, Moussa, et al.
Published: (2024)

Note on the treewidth of graphs excluding a disjoint union of cycles as a minor
by: Joret, Gwenaël, et al.
Published: (2026)

Gathering Information about a Graph by Counting Walks from a Single Vertex
by: Fuhlbrück, Frank, et al.
Published: (2024)

Blow-up structure of graphs excluding a tree or an apex-tree as a minor
by: Claus, Quentin, et al.
Published: (2026)

On a Problem of Ramsey Theory
by: Frasser, Carlos E.
Published: (2024)

On a Characterization of Spartan Graphs
by: Misra, Neeldhara, et al.
Published: (2025)

Excluding a rectangular grid
by: Rambaud, Clément
Published: (2025)