Your search
Boost open access documents
Linguistics tools
Statistics
515 hits
in 70,472,166 documents
in 0.37 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. Searches for Heavy Long-Lived Charged Particles with the ATLAS Detector in Proton-Proton Collisions at $\sqrt{s}=8$ TeV

URL:
http://bib-pubdb1.desy.de/record/206506
http://bib-pubdb1.desy.de/record/206506/files/CERN-PH-EP-2014-252_10.1007_JHEP01_2015_068.pdf  

Detail View Email this
  Add to Favorites Check in Google Scholar

10. 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