FOUNDATIONS OF ONLINE STRUCTURE THEORY (Q5226592): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2939890436
@@ Property / OpenAlex ID: W2939890436 / rank @@
+Normal rank
@@ Property / cites work @@
+Atomless Boolean algebras 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 @@
+Structures computable in polynomial time. II
@@ Property / cites work: Structures computable in polynomial time. II / rank @@
+Normal rank
@@ Property / cites work @@
+Computable structures and the hyperarithmetical hierarchy
+Normal rank
@@ Property / cites work @@
+AUTOMATIC AND POLYNOMIAL-TIME ALGEBRAIC STRUCTURES
+Normal rank
@@ Property / cites work @@
+Q4223058
@@ Property / cites work: Q4223058 / rank @@
+Normal rank
@@ Property / cites work @@
+Space complexity of abelian groups
@@ Property / cites work: Space complexity of 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 @@
+Polynomial-time Abelian groups
@@ Property / cites work: Polynomial-time Abelian groups / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249365
@@ Property / cites work: Q4249365 / rank @@
+Normal rank
@@ Property / cites work @@
+Some constructivizations of Abelian groups
@@ Property / cites work: Some constructivizations of Abelian groups / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of recursive mathematics. Vol. 1: Recursive model theory
+Normal rank
@@ Property / cites work @@
+Graphs are not universal for online computability
@@ Property / cites work: Graphs are not universal for online computability / rank @@
+Normal rank
@@ Property / cites work @@
+Q4677706
@@ Property / cites work: Q4677706 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of computable categoricity
@@ Property / cites work: The complexity of computable categoricity / rank @@
+Normal rank
@@ Property / cites work @@
+Developments in Language Theory
@@ Property / cites work: Developments in Language Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003861
@@ Property / cites work: Q4003861 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4956005
@@ Property / cites work: Q4956005 / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of recursive mathematics. Vol. 2: Recursive algebra, analysis and combinatorics
+Normal rank
@@ Property / cites work @@
+Effective procedures in field theory
@@ Property / cites work: Effective procedures in field theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3130249
@@ Property / cites work: Q3130249 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive models of complete solvable theories
@@ Property / cites work: Constructive models of complete solvable theories / 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 @@
+Q4249356
@@ Property / cites work: Q4249356 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursively presentable prime models
@@ Property / cites work: Recursively presentable prime models / rank @@
+Normal rank
@@ Property / cites work @@
+COMPUTABLE FUNCTORS AND EFFECTIVE INTERPRETABILITY
+Normal rank
@@ Property / cites work @@
+Algebraic structures computable without delay
@@ Property / cites work: Algebraic structures computable without delay / rank @@
+Normal rank
@@ Property / cites work @@
+The diversity of categoricity without delay
@@ Property / cites work: The diversity of categoricity without delay / rank @@
+Normal rank
@@ Property / cites work @@
+From automatic structures to automatic groups.
@@ Property / cites work: From automatic structures to automatic groups. / rank @@
+Normal rank
@@ Property / cites work @@
+A quest for algorithmically random infinite structures
+Normal rank
@@ Property / cites work @@
+An Effective Version of Dilworth's Theorem
@@ Property / cites work: An Effective Version of Dilworth's Theorem / rank @@
+Normal rank
@@ Property / cites work @@
+On-line coloring \(k\)-colorable graphs
@@ Property / cites work: On-line coloring \(k\)-colorable graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249728
@@ Property / cites work: Q4249728 / rank @@
+Normal rank
@@ Property / cites work @@
+On-Line Coloring and Recursive Graph Theory
@@ Property / cites work: On-Line Coloring and Recursive Graph Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Computational complexity of real functions
@@ Property / cites work: Computational complexity of real functions / rank @@
+Normal rank
@@ Property / cites work @@
+An on-line graph coloring algorithm with sublinear performance ratio
+Normal rank
@@ Property / cites work @@
+A survey of homogeneous structures
@@ Property / cites work: A survey of homogeneous structures / rank @@
+Normal rank
@@ Property / cites work @@
+CONSTRUCTIVE ALGEBRAS I
@@ Property / cites work: CONSTRUCTIVE ALGEBRAS I / rank @@
+Normal rank
@@ Property / cites work @@
+Q5537372
@@ Property / cites work: Q5537372 / rank @@
+Normal rank
@@ Property / cites work @@
+Eliminating unbounded search in computable algebra
+Normal rank
@@ Property / cites work @@
+The back-and-forth method and computability without delay
+Normal rank
@@ Property / cites work @@
+Effective content of field theory
@@ Property / cites work: Effective content of field theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4749832
@@ Property / cites work: Q4749832 / rank @@
+Normal rank
@@ Property / cites work @@
+Omitting types, type spectrums, and decidability
@@ Property / cites work: Omitting types, type spectrums, and decidability / rank @@
+Normal rank
@@ Property / cites work @@
+Graph colorings and recursively bounded \(\Pi ^ 0_ 1\)-classes
+Normal rank
@@ Property / cites work @@
+The additive group of the rationals does not have an automatic presentation
+Normal rank
@@ Property / cites work @@
+Q4485693
@@ Property / cites work: Q4485693 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q128047871
@@ Property / Wikidata QID: Q128047871 / rank @@
+Normal rank