-
1
-
2
DEGREE OF SATISFIABILITY IN HEYTING ALGEBRAS
Veröffentlicht in The Journal of symbolic logic
VolltextArtikel -
3
Spined categories: Generalizing tree-width beyond graphs
Veröffentlicht in European journal of combinatorics
VolltextArtikel -
4
Angiotensin II-Forming Pathways in Normal and Failing Human Hearts
Veröffentlicht in Circulation research
VolltextArtikel -
5
Search-Space Reduction via Essential Vertices
Veröffentlicht in SIAM journal on discrete mathematics
VolltextArtikel -
6
-
7
Measurement of Angiotensin I Converting Enzyme Inhibition in the Heart
Veröffentlicht in Circulation research
VolltextArtikel -
8
-
9
-
10
-
11
Cardiac Hypertrophy in Spontaneously Hypertensive Rats
Veröffentlicht in Circulation research
VolltextArtikel -
12
-
13
-
14
Structured Decompositions: Structural and Algorithmic Compositionality
Veröffentlicht in arXiv.org
VolltextArtikel -
15
Directed branch-width: A directed analogue of tree-width
Veröffentlicht in arXiv.org
VolltextArtikel -
16
Pushing Tree Decompositions Forward Along Graph Homomorphisms
Veröffentlicht in arXiv.org
VolltextArtikel -
17
Failures of Compositionality: A Short Note on Cohomology, Sheafification and Lavish Presheaves
Veröffentlicht in arXiv.org
VolltextArtikel -
18
Spined categories: generalizing tree-width beyond graphs
Veröffentlicht in arXiv.org
VolltextArtikel -
19
Compositional Algorithms on Compositional Data: Deciding Sheaves on Presheaves
Veröffentlicht in arXiv.org
VolltextArtikel -
20