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

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
Property / cites work
 
Property / cites work: Exact bounds for lengths of reductions in typed <i>λ</i>-calculus / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4215630 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Logical problems of functional interpretations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computer Science Logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES / rank
 
Normal rank
Property / cites work
 
Property / cites work: A complexity analysis of functional interpretations / rank
 
Normal rank
Property / cites work
 
Property / cites work: A note on Spector's quantifier-free rule of extensionality / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5536619 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3964564 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Herbrand-Analysen zweier Beweise des Satzes von Roth: Polynomiale Anzahlschranken / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3866101 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3322086 / rank
 
Normal rank
Property / cites work
 
Property / cites work: An upper bound for reduction sequences in the typed \(\lambda\)-calculus / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5537599 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5519134 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Lower Bounds on Herbrand's Theorem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard / rank
 
Normal rank
Property / cites work
 
Property / cites work: Cut elimination and automatic proof procedures / rank
 
Normal rank
Property / cites work
 
Property / cites work: Depth of proofs, depth of cut-formulas and complexity of cut formulas / rank
 
Normal rank

Revision as of 14:19, 10 June 2024

scientific article
Language Label Description Also known as
English
Extracting Herbrand disjunctions by functional interpretation
scientific article

    Statements

    Extracting Herbrand disjunctions by functional interpretation (English)
    0 references
    0 references
    0 references
    17 August 2005
    0 references
    Herbrand's theorem
    0 references
    functional interpretation
    0 references
    Herbrand terms
    0 references

    Identifiers