Reverse complexity (Q287279): Difference between revisions

@@ Property / describes a project that uses @@
+Isabelle/HOL
@@ Property / describes a project that uses: Isabelle/HOL / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10817-015-9349-x
+Normal rank
@@ Property / OpenAlex ID @@
+W2913667992
@@ Property / OpenAlex ID: W2913667992 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational Complexity
@@ Property / cites work: Computational Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+The intensional content of Rice's theorem
@@ Property / cites work: The intensional content of Rice's theorem / rank @@
+Normal rank
@@ Property / cites work @@
+A Formal Proof of Borodin-Trakhtenbrot’s Gap Theorem
+Normal rank
@@ Property / cites work @@
+Formalizing Turing Machines
@@ Property / cites work: Formalizing Turing Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Q5195248
@@ Property / cites work: Q5195248 / rank @@
+Normal rank
@@ Property / cites work @@
+A Web Interface for Matita
@@ Property / cites work: A Web Interface for Matita / rank @@
+Normal rank
@@ Property / cites work @@
+A formalization of multi-tape Turing machines
@@ Property / cites work: A formalization of multi-tape Turing machines / rank @@
+Normal rank
@@ Property / cites work @@
+The Matita Interactive Theorem Prover
@@ Property / cites work: The Matita Interactive Theorem Prover / rank @@
+Normal rank
@@ Property / cites work @@
+Matita Tutorial
@@ Property / cites work: Matita Tutorial / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Reasoning
@@ Property / cites work: Automated Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Guest editorial
@@ Property / cites work: Guest editorial / rank @@
+Normal rank
@@ Property / cites work @@
+A new recursion-theoretic characterization of the polytime functions
+Normal rank
@@ Property / cites work @@
+A Machine-Independent Theory of the Complexity of Recursive Functions
+Normal rank
@@ Property / cites work @@
+Computational Complexity and the Existence of Complexity Gaps
+Normal rank
@@ Property / cites work @@
+Q4404418
@@ Property / cites work: Q4404418 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded arithmetic for NC, ALogTIME, L and NL
@@ Property / cites work: Bounded arithmetic for NC, ALogTIME, L and NL / rank @@
+Normal rank
@@ Property / cites work @@
+Q5586401
@@ Property / cites work: Q5586401 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5306365
@@ Property / cites work: Q5306365 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4513968
@@ Property / cites work: Q4513968 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Computational Complexity of Algorithms
@@ Property / cites work: On the Computational Complexity of Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive Properties of Abstract Complexity Classes
+Normal rank
@@ Property / cites work @@
+Toward a Theory of Enumerations
@@ Property / cites work: Toward a Theory of Enumerations / rank @@
+Normal rank
@@ Property / cites work @@
+Classes of computable functions defined by bounds on computation
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3395521
@@ Property / cites work: Q3395521 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3392273
@@ Property / cites work: Q3392273 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5636862
@@ Property / cites work: Q5636862 / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanising Turing Machines and Computability Theory in Isabelle/HOL
+Normal rank
@@ Property / cites work @@
+Easy Constructions in Complexity Theory: Gap and Speed-Up Theorems
+Normal rank