Complexity, decidability and completeness (Q5480615): Difference between revisions

@@ Property / cites work @@
+Feasible Graphs and Colorings
@@ Property / cites work: Feasible Graphs and Colorings / rank @@
+Normal rank
@@ Property / cites work @@
+Recursively presented games and strategies
@@ Property / cites work: Recursively presented games and strategies / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial-time Abelian groups
@@ Property / cites work: Polynomial-time Abelian groups / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial-time versus recursive models
@@ Property / cites work: Polynomial-time versus recursive models / rank @@
+Normal rank
@@ Property / cites work @@
+Fast Multiple-Precision Evaluation of Elementary Functions
+Normal rank
@@ Property / cites work @@
+Class groups of integral group rings
@@ Property / cites work: Class groups of integral group rings / rank @@
+Normal rank
@@ Property / cites work @@
+Every recursive linear ordering has a copy in DTIME-SPACE(<i>n</i>,log(<i>n</i>))
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity-theoretic algebra. II: Boolean algebras
+Normal rank