Ramsey theory - PDFSEARCH.IO - Document Search Engine

Ramsey theory
Results: 107

#	Item
1	97. MATEMATICKÉ KOLOKVIUM DYNAMICAL SYSTEMS AND RAMSEY THEORY Benjamin Weiss Add to Reading List Source URL: kam.mff.cuni.cz - Date: 2016-10-07 12:00:04
2	Norman Ramsey Associate Professor Department of Computer Science Tufts University Medford, MassachusettsEmail: Phone: + Add to Reading List Source URL: www.cs.tufts.edu Language: English - Date: 2013-11-25 15:39:10 Computer science Software engineering Computing Functional programming International Conference on Functional Programming Programming Language Design and Implementation Symposium on Principles of Programming Languages SIGPLAN ECL programming language Association for Computing Machinery Programming language theory
3	History dependent public policies David Evans ∗ Thomas J. Sargent‡† Add to Reading List Source URL: www.tomsargent.com Language: English - Date: 2015-04-08 13:04:02 Computing Software Computer programming Equations Mathematical optimization Application programming interfaces Bellman equation Control theory Dynamic programming Qt P22 Ramsey problem
4	Ramsey Classes by Partite Construction I Honza Hubiˇcka Mathematics and Statistics University of Calgary Calgary Institute of Computer Science Add to Reading List Source URL: www.ucw.cz Language: English - Date: 2015-07-24 05:51:54 Mathematics Model theory Algebra Mathematical logic Ramsey theory Ramsey class Age Structure FO Semigroup Amalgamation property Isomorphism
5	Ramsey Classes by Partite Construction I Honza Hubiˇcka Mathematics and Statistics University of Calgary Calgary Institute of Computer Science Add to Reading List Source URL: www.maths.dur.ac.uk Language: English - Date: 2015-07-24 03:58:18 Mathematics Model theory Algebra Mathematical logic Ramsey theory Ramsey class Age Structure FO Semigroup Amalgamation property Isomorphism
6	Ramsey Classes by Partite Construction II Honza Hubiˇcka Mathematics and Statistics University of Calgary Calgary Institute of Computer Science Add to Reading List Source URL: www.ucw.cz Language: English - Date: 2015-07-25 03:57:12 Mathematics Algebraic structures Model theory Mathematical logic Universal algebra Ramsey theory Structure Ramsey class FO Semigroup Lattice
7	DOC Document Add to Reading List Source URL: users.ox.ac.uk Language: English - Date: 2000-11-09 10:16:25 Philosophy of science Epistemology of science Empiricism Philosophical realism Epistemology Constructive empiricism Theory Underdetermination Scientific theory Ramsey sentence Radical empiricism Verisimilitude
8	Ramsey-type constructions for arrangements of segments Jan Kynˇcl Charles University, Prague Arrangement of segments: Add to Reading List Source URL: kam.mff.cuni.cz Language: English - Date: 2008-06-04 17:03:58 Disjoint sets Discrete geometry Topological graph theory Topological graph
9	TERM EXTRACTION AND RAMSEY’S THEOREM FOR PAIRS ALEXANDER P. KREUZER AND ULRICH KOHLENBACH Abstract. In this paper we study with proof-theoretic methods the function(al)s provably recursive relative to Ramsey’s theore Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2013-09-25 08:51:12 Proof theory Computability theory Logic in computer science Mathematical logic Intuitionism Primitive recursive functional Dialectica interpretation Peano axioms Second-order arithmetic Reverse mathematics Combinatory logic Primitive recursive arithmetic
10	Remarks on a Ramsey theory for trees J´anos Pach∗ EPFL, Lausanne and R´enyi Institute, Budapest J´ozsef Solymosi† University of British Columbia, Vancouver G´abor Tardos‡ Add to Reading List Source URL: www.renyi.hu Language: English - Date: 2012-05-18 20:00:21

UPDATE