Pages that link to "Item:Q4594231"
From MaRDI portal
The following pages link to A complete axiomatisation for the inclusion of series-parallel partial orders (Q4594231):
Displaying 21 items.
- Ranking chain sum orders (Q290525) (← links)
- Directed NLC-width (Q906393) (← links)
- Handsome proof-nets: Perfect matchings and cographs (Q1398476) (← links)
- Oriented coloring on recursively defined digraphs (Q2003341) (← links)
- On characterizations for subclasses of directed co-graphs (Q2025109) (← links)
- Computing directed Steiner path covers (Q2125222) (← links)
- Solutions for subset sum problems with special digraph constraints (Q2216192) (← links)
- How to compute digraph width measures on directed co-graphs (Q2220888) (← links)
- Efficient computation of the oriented chromatic number of recursively defined digraphs (Q2235732) (← links)
- Confluence by critical pair analysis revisited (Q2305423) (← links)
- Comparing linear width parameters for directed graphs (Q2322714) (← links)
- Poset loops (Q2407682) (← links)
- A mixed \(\lambda\)-calculus (Q2467219) (← links)
- Miscellaneous Digraph Classes (Q3120443) (← links)
- Computing Directed Steiner Path Covers for Directed Co-graphs (Extended Abstract) (Q3297784) (← links)
- Non-normal modalities in variants of linear logic (Q4586144) (← links)
- Pomset Logic (Q5014600) (← links)
- A System of Interaction and Structure III: The Complexity of BV and Pomset Logic (Q6137849) (← links)
- Comparability digraphs: an analogue of comparability graphs (Q6177431) (← links)
- Exponentially handsome proof nets and their normalization (Q6657781) (← links)
- Flag: a self-dual modality for non-commutative contraction and duplication in the category of coherence spaces (Q6657789) (← links)
