Searching for applicable versions of computable structures (Q2117745): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-030-80049-9_1
+Normal rank
@@ Property / OpenAlex ID @@
+W3180573182
@@ Property / OpenAlex ID: W3180573182 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992490
@@ Property / cites work: Q3992490 / rank @@
+Normal rank
@@ Property / cites work @@
+Computable structures and the hyperarithmetical hierarchy
+Normal rank
@@ Property / cites work @@
+Existence and uniqueness of structures computable in polynomial time
+Normal rank
@@ Property / cites work @@
+Structures computable in polynomial time. I
@@ Property / cites work: Structures computable in polynomial time. I / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomially computable structures with finitely many generators
+Normal rank
@@ Property / cites work @@
+Online Algorithms
@@ Property / cites work: Online Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Sailing routes in the world of computation. 14th conference on computability in Europe, CiE 2018, Kiel, Germany, July 30 -- August 3, 2018. Proceedings
+Normal rank
@@ Property / cites work @@
+Fields of algebraic numbers computable in polynomial time. I
+Normal rank
@@ Property / cites work @@
+FOUNDATIONS OF ONLINE STRUCTURE THEORY
@@ Property / cites work: FOUNDATIONS OF ONLINE STRUCTURE THEORY / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalence Relations, Invariants, and Normal Forms
+Normal rank
@@ Property / cites work @@
+Q3334986
@@ Property / cites work: Q3334986 / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchies of Computable groups and the word problem
+Normal rank
@@ Property / cites work @@
+Polynomial-time versus recursive models
@@ Property / cites work: Polynomial-time versus recursive models / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249365
@@ Property / cites work: Q4249365 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5155667
@@ Property / cites work: Q5155667 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4935938
@@ Property / cites work: Q4935938 / 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 @@
+The shrinking property for NP and coNP
@@ Property / cites work: The shrinking property for NP and coNP / rank @@
+Normal rank
@@ Property / cites work @@
+Three Lectures on Automatic Structures
@@ Property / cites work: Three Lectures on Automatic Structures / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic structures computable without delay
@@ Property / cites work: Algebraic structures computable without delay / rank @@
+Normal rank
@@ Property / cites work @@
+Some complexity results for polynomial ideals
@@ Property / cites work: Some complexity results for polynomial ideals / rank @@
+Normal rank
@@ Property / cites work @@
+The word and geodesic problems in free solvable groups
+Normal rank
@@ Property / cites work @@
+Computing Solution Operators of Boundary-value Problems for Some Linear Hyperbolic Systems of PDEs
+Normal rank
@@ Property / cites work @@
+Bit complexity of computing solutions for symmetric hyperbolic systems of PDEs (extended abstract)
+Normal rank
@@ Property / cites work @@
+Polynomial algorithms in computer algebra
@@ Property / cites work: Polynomial algorithms in computer algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q3707408
@@ Property / cites work: Q3707408 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4953977
@@ Property / cites work: Q4953977 / rank @@
+Normal rank