Polynomial time operations in explicit mathematics (Q4358055): Difference between revisions

@@ 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.2307/2275547
@@ Property / full work available at URL: https://doi.org/10.2307/2275547 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2119127687
@@ Property / OpenAlex ID: W2119127687 / rank @@
+Normal rank
@@ Property / cites work @@
+Totality in applicative theories
@@ Property / cites work: Totality in applicative theories / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume I
+Normal rank
@@ Property / cites work @@
+Asymmetric Interpretations for Bounded Theories
@@ Property / cites work: Asymmetric Interpretations for Bounded Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q3679172
@@ Property / cites work: Q3679172 / rank @@
+Normal rank
@@ Property / cites work @@
+A feasible theory for analysis
@@ Property / cites work: A feasible theory for analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Systems of explicit mathematics with non-constructive \(\mu\)-operator. I
+Normal rank
@@ Property / cites work @@
+Hilbert's program relativized; Proof-theoretical and foundational reductions
+Normal rank
@@ Property / cites work @@
+Functional interpretations of feasibly constructive arithmetic
+Normal rank
@@ Property / cites work @@
+Q4146722
@@ Property / cites work: Q4146722 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4358055