Your search
Boost open access documents
Linguistics tools
Statistics
461 hits
in 68,072,316 documents
in 0.25 seconds
Home » Search: Stanley S. Wainer
Hit List

1. Accessible Recursive Functions

Content Provider:

Detail View Email this
  Add to Favorites Check in Google Scholar

2. Computing Bounds from Arithmetical Proofs

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. A simplified version of local predicativity


Detail View Email this
  Add to Favorites Check in Google Scholar

8. Infinite terms and recursion in higher types


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://inspirehep.net/record/1329957/files/fig_02a.png
http://inspirehep.net/record/1329957/files/fig_01a.png  

Detail View Email this
  Add to Favorites Check in Google Scholar

10. Observation of a Centrality-Dependent Dijet Asymmetry in Lead-Lead Collisions at sqrt(S(NN))= 2.76 TeV with the ATLAS Detector at the LHC