Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

54

APAL
2006

favoriteEmaildiscussreport

41views more APAL 2006»

Strongly uniform bounds from semi-constructive proofs

15 years 17 days ago

Strongly uniform bounds from semi-constructive proofs

Download www.brics.dk

Philipp Gerhardy, Ulrich Kohlenbach

Real-time Traffic

APAL 2006 |

claim paper

Related Content

» Strong Faithfulness and Uniform Consistency in Causal Inference

» Improved Risk Tail Bounds for OnLine Algorithms

» Almost Uniform Density of Power Residues and the Provable Security of ESIGN

» Extractors against SideChannel Attacks Weak or Strong

» Compression from Collisions or Why CRHF Combiners Have a Long Output

» A proof of Alons second eigenvalue conjecture and related problems

» A proof of completeness for continuous firstorder logic

» AlmostNatural Proofs

» Natural proofs

Post Info
More Details (n/a)

Added	10 Dec 2010
Updated	10 Dec 2010
Type	Journal
Year	2006
Where	APAL
Authors	Philipp Gerhardy, Ulrich Kohlenbach

Comments (0)