Q4993791 (Q4993791): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q5534919
@@ Property / cites work: Q5534919 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract First Order Computability. I
@@ Property / cites work: Abstract First Order Computability. I / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract Computability and Invariant Definability
@@ Property / cites work: Abstract Computability and Invariant Definability / rank @@
+Normal rank
@@ Property / cites work @@
+Definability via enumerations
@@ Property / cites work: Definability via enumerations / rank @@
+Normal rank
@@ Property / cites work @@
+Q3960681
@@ Property / cites work: Q3960681 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3705441
@@ Property / cites work: Q3705441 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3476802
@@ Property / cites work: Q3476802 / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of intrinsically r.e. subsets of existentially decidable models
+Normal rank
@@ Property / cites work @@
+Effective choice of constructivizations and recursive consistency of problems on constructive models
+Normal rank