<--- Back to Details
First PageDocument Content
Computability theory / Theory of computation / Mathematics / Theoretical computer science / Mathematical analysis / Computable function / Sigma-algebra / Generalised Whitehead product
Date: 2015-01-27 11:28:33
Computability theory
Theory of computation
Mathematics
Theoretical computer science
Mathematical analysis
Computable function
Sigma-algebra
Generalised Whitehead product

Ramsey-type graph coloring and diagonal non-computability Ludovic Patey Abstract A function is diagonally non-computable (d.n.c.) if it diagonalizes against the universal partial computable function. D.n.c. functions pla

Add to Reading List

Source URL: ludovicpatey.com

Download Document from Source Website

File Size: 243,63 KB

Share Document on Facebook

Similar Documents

A Result of Vapnik with Applications Martin Anthony Department of Statistical and Mathematical Sciences London School of Economics Houghton Street London WC2A 2AE, U.K.

A Result of Vapnik with Applications Martin Anthony Department of Statistical and Mathematical Sciences London School of Economics Houghton Street London WC2A 2AE, U.K.

DocID: 1rr7l - View Document

Improved approximation for Fr´echet distance on c-packed curves matching conditional lower bounds (extended abstract) Karl Bringmann∗  Marvin K¨

Improved approximation for Fr´echet distance on c-packed curves matching conditional lower bounds (extended abstract) Karl Bringmann∗ Marvin K¨

DocID: 1rqIU - View Document

Microsoft PowerPoint - Presentationshaheen1.pptx

Microsoft PowerPoint - Presentationshaheen1.pptx

DocID: 1rn3C - View Document

Drift Analysis A Tool for Analysing Randomised Search Heuristics1 Per Kristian Lehre ASAP Research Group School of Computer Science

Drift Analysis A Tool for Analysing Randomised Search Heuristics1 Per Kristian Lehre ASAP Research Group School of Computer Science

DocID: 1rjXB - View Document

Contents  Formaliz. MathModelling Real World Using Stochastic Processes and Filtration By Peter Jaeger . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Contents Formaliz. MathModelling Real World Using Stochastic Processes and Filtration By Peter Jaeger . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

DocID: 1rh7d - View Document