Edge Exploration of Temporal Graphs von Bumpus, Benjamin Merlin, Meeks, Kitty

Volltext

DEGREE OF SATISFIABILITY IN HEYTING ALGEBRAS von BUMPUS, BENJAMIN MERLIN, KOCSIS, ZOLTAN A.

Volltext

Spined categories: Generalizing tree-width beyond graphs von Bumpus, Benjamin Merlin, Kocsis, Zoltan A.

Volltext

Search-Space Reduction via Essential Vertices von Bumpus, Benjamin Merlin, Jansen, Bart M. P., de Kroon, Jari J. H.

Volltext

Edge Exploration of Temporal Graphs von Bumpus, Benjamin Merlin, Meeks, Kitty

Volltext

Pushing Tree Decompositions Forward Along Graph Homomorphisms von Bumpus, Benjamin Merlin, Fairbanks, James, Turner, Will J

Volltext bestellen

Failures of Compositionality: A Short Note on Cohomology, Sheafification and Lavish Presheaves von Bumpus, Benjamin Merlin, Capucci, Matteo, Fairbanks, James, Rosiak, Daniel

Volltext bestellen

Edge exploration of temporal graphs von Bumpus, Benjamin Merlin, Meeks, Kitty

Volltext bestellen

Degree of Satisfiability in Heyting Algebras von Bumpus, Benjamin Merlin, Kocsis, Zoltan A

Volltext bestellen

Compositional Algorithms on Compositional Data: Deciding Sheaves on Presheaves von Althaus, Ernst, Bumpus, Benjamin Merlin, Fairbanks, James, Rosiak, Daniel

Volltext bestellen

Treewidth via Spined Categories (extended abstract) von Kocsis, Zoltan A, Bumpus, Benjamin Merlin

Volltext bestellen

Spined categories: generalizing tree-width beyond graphs von Bumpus, Benjamin Merlin, Kocsis, Zoltan A

Volltext bestellen

Structured Decompositions: Structural and Algorithmic Compositionality von Bumpus, Benjamin Merlin, Kocsis, Zoltan A, Master, Jade Edenstar

Volltext bestellen

Towards a Unified Theory of Time-Varying Data von Bumpus, Benjamin Merlin, Fairbanks, James, Karvonen, Martti, Leal, Wilmer, Simard, Frédéric

Volltext bestellen

Directed branch-width: A directed analogue of tree-width von Bumpus, Benjamin Merlin, Meeks, Kitty, Pettersson, William

Volltext bestellen

Degree of Satisfiability in Heyting Algebras von Benjamin Merlin Bumpus, Kocsis, Zoltan A

Volltext

Additive Invariants of Open Petri Nets von Bumpus, Benjamin Merlin, Libkind, Sophie, Garcia, Jordy Lopez, Sorkatti, Layla, Tenka, Samuel

Volltext bestellen

Edge exploration of temporal graphs von Benjamin Merlin Bumpus, Meeks, Kitty

Volltext

Structured Decompositions: Structural and Algorithmic Compositionality von Benjamin Merlin Bumpus, Kocsis, Zoltan A, Master, Jade Edenstar

Volltext

Directed branch-width: A directed analogue of tree-width von Benjamin Merlin Bumpus, Meeks, Kitty, Pettersson, William

Volltext