Extracting Herbrand disjunctions by functional interpretation (Q2486989): Difference between revisions

@@ Property / DOI @@
-.1007/s00153-005-0275-1
@@ Property / DOI: 10.1007/s00153-005-0275-1 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00153-005-0275-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2082381286
@@ Property / OpenAlex ID: W2082381286 / rank @@
+Normal rank
@@ Property / cites work @@
+Exact bounds for lengths of reductions in typed <i>λ</i>-calculus
+Normal rank
@@ Property / cites work @@
+Q4215630
@@ Property / cites work: Q4215630 / rank @@
+Normal rank
@@ Property / cites work @@
+Logical problems of functional interpretations
@@ Property / cites work: Logical problems of functional interpretations / rank @@
+Normal rank
@@ Property / cites work @@
+Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
+Normal rank
@@ Property / cites work @@
+A complexity analysis of functional interpretations
+Normal rank
@@ Property / cites work @@
+A note on Spector's quantifier-free rule of extensionality
+Normal rank
@@ Property / cites work @@
+Q5536619
@@ Property / cites work: Q5536619 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3964564
@@ Property / cites work: Q3964564 / rank @@
+Normal rank
@@ Property / cites work @@
+Herbrand-Analysen zweier Beweise des Satzes von Roth: Polynomiale Anzahlschranken
+Normal rank
@@ Property / cites work @@
+Q3866101
@@ Property / cites work: Q3866101 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3322086
@@ Property / cites work: Q3322086 / rank @@
+Normal rank
@@ Property / cites work @@
+An upper bound for reduction sequences in the typed \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Q5537599
@@ Property / cites work: Q5537599 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5519134
@@ Property / cites work: Q5519134 / rank @@
+Normal rank
@@ Property / cites work @@
+Lower Bounds on Herbrand's Theorem
@@ Property / cites work: Lower Bounds on Herbrand's Theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
+Normal rank
@@ Property / cites work @@
+Cut elimination and automatic proof procedures
@@ Property / cites work: Cut elimination and automatic proof procedures / rank @@
+Normal rank
@@ Property / cites work @@
+Depth of proofs, depth of cut-formulas and complexity of cut formulas
+Normal rank
@@ Property / DOI @@
+.1007/S00153-005-0275-1
@@ Property / DOI: 10.1007/S00153-005-0275-1 / rank @@
+Normal rank