Your search
Boost open access documents
Linguistics tools
Statistics
595 hits
in 72,045,933 documents
in 0.35 seconds
Home » Search: Stanley S. Wainer
Hit List

1. Computing Bounds from Arithmetical Proofs

Content Provider:

Detail View Email this   Add to Favorites Check in Google Scholar

2. Accessible Recursive Functions

Content Provider:

Detail View Email this   Add to Favorites Check in Google Scholar

3. Ordinal Bounds for Programs

Content Provider:

Detail View Email this   Add to Favorites Check in Google Scholar

4. Proofs and Computations

Content Provider:

Detail View Email this   Add to Favorites Check in Google Scholar

5. Accessible Recursive Functions


Detail View Email this   Add to Favorites Check in Google Scholar

6. Program Transformation and Proof Transformation


Detail View Email this   Add to Favorites Check in Google Scholar

7. Infinite terms and recursion in higher types


Detail View Email this   Add to Favorites Check in Google Scholar

8. A simplified version of local predicativity


Detail View Email this   Add to Favorites Check in Google Scholar

9. Measurement of the transverse polarization of $\Lambda$ and $\bar{\Lambda}$ hyperons produced in proton-proton collisions at $\sqrt{s}=7$ TeV using the ATLAS detector


Detail View Email this   Add to Favorites Check in Google Scholar

10. Searches for Heavy Long-Lived Charged Particles with the ATLAS Detector in Proton-Proton Collisions at $\sqrt{s}=8$ TeV