Search results

From MaRDI portal
View ( | ) (20 | 50 | 100 | 250 | 500)
  • 2023-04-12 Paper Complexity Assessments for Decidable Fragments of Set Theory. I: A Taxonomy for the Boolean Case* 2021-10-25 Paper Complexity assessments for...
    10 bytes (16 words) - 10:07, 25 September 2023
  • preferences 2020-04-01 Paper Parameterized complexity in the polynomial hierarchy. Extending parameterized complexity theory to higher levels of the hierarchy 2020-01-21...
    10 bytes (18 words) - 21:48, 24 September 2023
  • Streamlined subrecursive degree theory 2012-03-29 Paper Static Complexity Analysis of Higher Order Programs 2010-09-14 Paper Complexity classes and fragments of...
    10 bytes (16 words) - 23:19, 24 September 2023
  • vertex set properties are efficiently enumerable 2021-09-15 Paper A complexity theory for hard enumeration problems 2019-09-19 Paper https://portal.mardi4nfdi...
    10 bytes (16 words) - 15:29, 6 October 2023
  • Anisotropic complexity-free models in modified \(f(\mathbf{R},\mathbf{T})\) theory 2024-02-07 Paper Charged anisotropic models with complexity-free condition...
    10 bytes (16 words) - 03:20, 25 September 2023
  • Publication Date of Publication Type On the complexity of communication complexity 2015-02-04 Paper Private approximation of search problems 2014-11-25...
    10 bytes (16 words) - 09:30, 7 October 2023
  • parameterized complexity theory 2006-04-06 Paper Parameterized and Exact Computation 2005-08-23 Paper Machine-based methods in parameterized complexity theory 2005-06-30...
    10 bytes (16 words) - 03:30, 7 October 2023
  • Publication Date of Publication Type On parallel complexity of analytic functions 2013-12-19 Paper On the Complexity of the Pancake Problem 2013-05-10 Paper Jordan...
    10 bytes (16 words) - 14:43, 6 October 2023
  • holography 2022-11-25 Paper Action complexity in the presence of defects and boundaries 2022-10-27 Paper Spin matrix theory in near \(\frac{1}{8}\)-BPS corners...
    10 bytes (16 words) - 17:24, 24 September 2023
  • self-reducibility; computational complexity theory Mathematics Subject Classification ID 68Q25: Analysis of algorithms and problem complexity Related Items The Helping...
    15 bytes (40 words) - 14:53, 6 February 2024
  • abstract complexity theory; Blum's complexity theory; Kolmogorov's complexity theory; LOOP-hierarchy; LOOP-language; Martin-Löf's complexity theory; Subrecursive...
    15 bytes (210 words) - 07:27, 31 January 2024
  • zbMATH Keywords computational complexity; NP-complete; nonstandard models of arithmetic; complexity theory; Complexity theory; reducibilities; polynomial...
    15 bytes (55 words) - 16:17, 5 February 2024
  • oracles; structural complexity theory Mathematics Subject Classification ID 68Q15: Complexity classes (hierarchies, relations among complexity classes, etc.)...
    15 bytes (53 words) - 14:56, 6 February 2024
  • org/abs/1907.12287 zbMATH Keywords algebraic complexity theory; Valiant's classes; parameterized complexity theory Mathematics Subject Classification ID 68Q25:...
    15 bytes (59 words) - 06:58, 7 March 2024
  • 1989 Published in: Mathematical Systems Theory (Search for Journal in Brave) zbMATH Keywords complexity theory; one-way functions; public-key crypto-systems...
    15 bytes (57 words) - 17:13, 5 February 2024
  • algorithms; complexity classes; complexity theory goals and primitives; informatics versus physics; information and physics; Quantum complexity theory Mathematics...
    15 bytes (60 words) - 18:17, 7 February 2024
  • in complexity theory, A tight relationship between generic oracles and type-2 complexity theory, A survey of one-way functions in complexity theory...
    15 bytes (133 words) - 00:55, 31 January 2024
  • Publication date: 5 April 1999 zbMATH Keywords complexity theory; finite model theory; descriptive complexity theory; reducibilities; Lindström quantifier; oracle...
    15 bytes (83 words) - 17:01, 6 February 2024
  • and measure in abstract complexity theory Cites Work A note on A.E. h-complex functions Theories of computational complexity Theory of Formal Systems. (AM-47)...
    15 bytes (175 words) - 13:48, 31 January 2024
  • computational complexity; complexity theory; recursive functions Mathematics Subject Classification ID 68Q25: Analysis of algorithms and problem complexity 03D15:...
    15 bytes (97 words) - 17:59, 30 January 2024
View ( | ) (20 | 50 | 100 | 250 | 500)