Search results
From MaRDI portal
- TREES 2021-02-17 Paper ON COMPLEXITY OF THE EXISTENTIAL AND UNIVERSAL THEORIES OF FINITE FIELDS 2021-02-17 Paper ON GENERIC COMPLEXITY OF THE GRAPH CLUSTERING...10 bytes (18 words) - 15:19, 10 December 2023
- 2020-07-20 Paper Quantitative Coding and Complexity Theory of Continuous Data 2020-02-10 Paper Computational complexity of real powering and improved solving...10 bytes (17 words) - 21:11, 11 December 2023
- Paper COMPLEXITY OF ATOMS OF REGULAR LANGUAGES 2014-08-04 Paper Symmetric Groups and Quotient Complexity of Boolean Operations 2014-07-01 Paper Theory of...10 bytes (19 words) - 23:55, 11 December 2023
- programming, complexity theory and elementary functional analysis 1997-01-12 Paper Incorporating Condition Measures into the Complexity Theory of Linear Programming...10 bytes (16 words) - 14:15, 11 December 2023
- computation complexity of the systems of finite abelian group elements 2024-02-16 Paper On the papers of O. M. Kasim-Zade in field of complexity theory and theory...10 bytes (18 words) - 17:42, 13 December 2023
- Lovász Local Lemma 2014-12-22 Paper COMPLEXITY OF COMPLEXITY AND STRINGS WITH MAXIMAL PLAIN AND PREFIX KOLMOGOROV COMPLEXITY 2014-09-30 Paper Algorithmic tests...10 bytes (17 words) - 13:28, 28 January 2024
- Axioms for complexity for all finite semigroups. III: Complexity of two-\(J\) class semigroups. IV: Synthesis of the classical and modern theory of finite...10 bytes (17 words) - 09:51, 12 December 2023
- Trichotomies in the complexity of minimal inference 2012-12-06 Paper Counting complexity of propositional abduction 2010-08-18 Paper Complexity of existential...10 bytes (16 words) - 17:43, 9 December 2023
- minimal 2021-09-27 Paper Virtual 3-manifolds of complexity 1 and 2 2019-08-09 Paper New aspects of complexity theory for 3-manifolds 2019-05-23 Paper Sergei Vladimirovich...10 bytes (17 words) - 02:16, 12 December 2023
- Expressivity and Complexity of Dependence Logic 2020-02-04 Paper Satisfiability of Modal Inclusion Logic 2019-11-22 Paper A complexity theory for hard enumeration...10 bytes (17 words) - 07:50, 9 December 2023
- On joint conditional complexity (entropy) 2014-08-04 Paper Randomized Communication Complexity of Approximating Kolmogorov Complexity 2014-06-24 Paper On...10 bytes (19 words) - 19:46, 9 December 2023
- Straight-line programs in geometric elimination theory 2000-05-29 Paper On the intrinsic complexity of elimination theory 1994-08-17 Paper Invariant and geometric...10 bytes (16 words) - 21:42, 12 December 2023
- Paper COMPLEXITY PSEUDOVARIETIES ARE NOT LOCAL: TYPE II SUBSEMIGROUPS CAN FALL ARBITRARILY IN COMPLEXITY 2006-10-16 Paper Krohn-Rhodes complexity pseudovarieties...10 bytes (19 words) - 15:19, 12 December 2023
- Implementing geometric complexity theory: on the separation of orbit closures via symmetries 2021-01-19 Paper On Geometric Complexity Theory: Multiplicity Obstructions...10 bytes (16 words) - 06:00, 7 October 2023
- 2014-08-13 Paper Explicit lower bounds via geometric complexity theory 2014-08-07 Paper Geometric complexity theory and tensor rank 2014-06-05 Paper Deciding Positivity...10 bytes (17 words) - 03:39, 7 October 2023
- predicate modal logic 2020-06-04 Paper Complexity of the universal theory of modal algebras 2020-03-27 Paper Complexity of finite-variable fragments of propositional...10 bytes (16 words) - 17:20, 24 September 2023
- 2016-11-24 Paper Towards Computational Complexity Theory on Advanced Function Spaces in Analysis 2016-08-17 Paper Complexity Theory for Operators in Analysis 2015-09-24...10 bytes (16 words) - 11:03, 6 October 2023
- Type Herbrand complexity and the epsilon calculus with equality 2024-01-18 Paper Type-based analysis of logarithmic amortised complexity 2023-02-06 Paper...10 bytes (16 words) - 10:43, 6 October 2023
- Propositional Logic 2017-07-12 Paper A complexity theory for hard enumeration problems 2017-06-01 Paper Complexity versus stability for classes of propositional...10 bytes (16 words) - 15:29, 6 October 2023
- in quantum field theory 2016-06-14 Paper QUANTUM FIELD THEORY WITH VARYING COUPLINGS 2014-04-08 Paper Localization of nonlocal theories 2014-03-07 Paper...10 bytes (16 words) - 17:09, 6 October 2023
