Search results
From MaRDI portal
- mission-time LTL 2024-02-16 Paper Towards a grand unification of Büchi complementation constructions 2023-08-10 Paper A space-efficient on-the-fly algorithm...10 bytes (19 words) - 07:50, 9 December 2023
- 2006-01-11 Paper The minimal complementation property above 0′ 2005-09-26 Paper Properly ?2 minimal degrees and 0? complementation 2005-06-01 Paper Π01-classes...10 bytes (20 words) - 06:18, 12 December 2023
- separable complementation property and monolithic compacta 2014-04-15 Paper Almost disjoint families of countable sets and separable complementation properties...10 bytes (16 words) - 17:23, 9 December 2023
- 2014-10-17 Paper Disjointly homogeneous Banach lattices: duality and complementation 2014-08-06 Paper Domination of operators in the non-commutative setting...10 bytes (16 words) - 01:14, 12 December 2023
- base for toposes with generators 1975-01-01 Paper Axiom of Choice and Complementation 1975-01-01 Paper https://portal.mardi4nfdi.de/entity/Q5574726 1969-01-01...10 bytes (17 words) - 10:23, 13 December 2023
- partitions 2005-04-25 Paper (--1)-enumeration of plane partitions with complementation symmetry 2003-07-29 Paper Enumeration of Lozenge tilings of hexagons...10 bytes (16 words) - 09:33, 9 December 2023
- de/entity/Q5009416 2021-08-04 Paper Complementing semi-deterministic Büchi automata 2019-09-17 Paper State of B\"uchi Complementation 2015-01-15 Paper Büchi Store:...10 bytes (18 words) - 09:41, 6 October 2023
- $T_1$-complements 1967-01-01 Paper The topological complementation problem 1966-01-01 Paper The Lattice of Topologies: Structure and Complementation 1966-01-01...10 bytes (19 words) - 10:49, 25 September 2023
- hardware 1989-01-01 Paper Two Applications of Inductive Counting for Complementation Problems 1989-01-01 Paper On nondeterminism in parallel computation...10 bytes (18 words) - 02:16, 9 December 2023
- Paper https://portal.mardi4nfdi.de/entity/Q4580234 2018-08-13 Paper Complementation in representable theories of region-based space 2013-04-25 Paper On...10 bytes (17 words) - 06:37, 13 December 2023
- Publication Date of Publication Type On the role of complementation in implicit language equations and relations 2013-12-13 Paper TRANSVERSAL KILLING AND...10 bytes (18 words) - 17:50, 11 December 2023
- Depth-First-Search Characterization of Planarity 1982-01-01 Paper Local complementation and interlacement graphs 1981-01-01 Paper https://portal.mardi4nfdi...10 bytes (19 words) - 16:32, 8 December 2023
- eigenvector interlacing property of graphs that arise from trees by Schur complementation of the Laplacian 2013-01-16 Paper Simulation from endpoint-conditioned...10 bytes (18 words) - 09:16, 7 October 2023
- Generalized almost distributive lattices. I 2010-11-05 Paper PSEUDO-COMPLEMENTATION ON GENERALIZED ALMOST DISTRIBUTIVE LATTICES 2010-07-27 Paper https://portal...10 bytes (18 words) - 00:27, 12 December 2023
- grand unification of Büchi complementation constructions 2023-08-10 Paper On the power of finite ambiguity in Büchi complementation 2023-05-19 Paper Quantitative...10 bytes (17 words) - 18:00, 24 September 2023
- Carlo Simulation of Stochastic Differential Equations 2017-11-27 Paper Complementation and decompositions in some weakly Lindelöf Banach spaces 2011-02-09...10 bytes (16 words) - 14:09, 12 December 2023
- Prefix-, Suffix-, Factor-, and Subword-Free Languages Under Star and Complementation 2019-12-10 Paper Computational complexity of decision problems on self-verifying...10 bytes (18 words) - 18:11, 13 December 2023
- Lower Bounds for Complementation of omega-Automata Via the Full Automata Technique 2008-08-07 Paper Lower Bounds for Complementation of ω-Automata Via...10 bytes (16 words) - 11:26, 7 October 2023
- Rational Languages of Words Indexed by Linear Orderings 2008-06-05 Paper Complementation of rational sets on scattered linear orderings of finite rank 2007-09-18...10 bytes (16 words) - 00:47, 25 September 2023
- Generalized Inverse Formulas Using the Schur Complement 1974-01-01 Paper A Generalization of the Schur Complement by Means of the Moore–Penrose Inverse 1974-01-01...10 bytes (19 words) - 22:58, 12 December 2023
