Search results
From MaRDI portal
- Sizes of flat maximal antichains of subsets 2023-02-14 Paper Minimum weight flat antichains of subsets 2021-11-19 Paper Maximal antichains of subsets II: Constructions...10 bytes (13 words) - 21:23, 24 September 2023
- Sizes of flat maximal antichains of subsets 2023-02-14 Paper Minimum weight flat antichains of subsets 2021-11-19 Paper Maximal antichains of subsets II: Constructions...10 bytes (15 words) - 07:53, 13 December 2023
- Cycle Problem 2022-02-08 Paper Minimum weight flat antichains of subsets 2021-11-19 Paper Maximal antichains of subsets II: Constructions 2021-06-03 Paper Hamiltonian...10 bytes (15 words) - 10:01, 7 October 2023
- maximal antichains of subsets of a multiset 1984-01-01 Paper Antichains in the set of subsets of a multiset 1984-01-01 Paper On maximal antichains containing...10 bytes (15 words) - 10:51, 7 October 2023
- decision procedure 2020-03-10 Paper Nested Antichains for WS1S 2019-09-17 Paper Abstraction refinement and antichains for trace inclusion of infinite state...10 bytes (13 words) - 06:09, 7 October 2023
- 1993-04-01 Paper Two-colouring all two-element maximal antichains 1992-06-25 Paper Maximal Chains and Antichains in Boolean Lattices 1990-01-01 Paper A length-width...10 bytes (13 words) - 19:16, 11 December 2023
- weight flat antichains of subsets 2021-11-19 Paper Maximal antichains of subsets II: Constructions 2021-06-03 Paper Minimum Weight Flat Antichains of Subsets...10 bytes (14 words) - 13:50, 28 January 2024
- 2020-03-10 Paper Nested Antichains for WS1S 2019-09-17 Paper Reduction of nondeterministic tree automata 2019-09-17 Paper Nested antichains for WS1S 2019-03-21...10 bytes (13 words) - 06:27, 7 October 2023
- 1992-06-25 Paper Two-colouring all two-element maximal antichains 1992-06-25 Paper Maximal Chains and Antichains in Boolean Lattices 1990-01-01 Paper On the number...10 bytes (14 words) - 04:33, 7 October 2023
- Irreversibility 2023-06-24 Paper Connected Reduced Products 2022-07-29 Paper Antichains of copies of ultrahomogeneous structures 2022-07-15 Paper The left, the...10 bytes (15 words) - 13:49, 10 December 2023
- Maximal Antichains 2008-09-04 Paper Odd-angulated graphs and cancelling factors in box products 2008-09-04 Paper On Finite Maximal Antichains in the Homomorphism...10 bytes (13 words) - 19:15, 24 September 2023
- Paper Generalised Dualities and Finite Maximal Antichains 2008-09-04 Paper On Finite Maximal Antichains in the Homomorphism Order 2008-06-05 Paper Generalised...10 bytes (14 words) - 13:06, 6 October 2023
- lattices are chains 1992-06-25 Paper Two-colouring all two-element maximal antichains 1992-06-25 Paper On a problem of B. Jónsson concerning subalgebras and...10 bytes (15 words) - 12:41, 8 December 2023
- probabilities 2020-11-23 Paper On $k$-antichains in the unit $n$-cube 2020-10-02 Paper Projection inequalities for antichains 2020-09-15 Paper Optimizing stakes...10 bytes (13 words) - 13:37, 28 January 2024
- weight flat antichains of subsets 2021-11-19 Paper https://portal.mardi4nfdi.de/entity/Q5133475 2020-11-10 Paper Minimum Weight Flat Antichains of Subsets...10 bytes (13 words) - 12:21, 6 October 2023
- Objectives 2009-07-14 Paper Robust safety of timed automata 2009-07-06 Paper Antichains for the Automata-Based Approach to Model-Checking 2009-04-29 Paper Algorithms...10 bytes (13 words) - 17:51, 6 October 2023
- Minimal Observation Power (Application to Timed Systems) 2012-11-21 Paper Antichains and compositional algorithms for LTL synthesis 2012-09-27 Paper Quantitative...10 bytes (17 words) - 15:50, 9 December 2023
- distributivity of $\mathcal {P}(\omega )/\mathrm {fin}$ 2021-11-03 Paper Antichains of perfect and splitting trees 2020-04-01 Paper No Tukey reduction of...10 bytes (13 words) - 01:41, 10 December 2023
- Paper Chromatic number of the product of graphs, graph homomorphisms, antichains and cofinal subsets of posets without AC 2021-12-10 Paper Mathematical...10 bytes (13 words) - 09:35, 11 December 2023
- covering number 2021-09-30 Paper A NOTE ON ANTICHAINS IN THE CONTINUOUS CUBE 2020-06-09 Paper Projections of antichains 2020-03-30 Paper Generalizations of the...10 bytes (13 words) - 11:42, 24 September 2023
