Stephen Flood

Publication Activity (10 Years)

Years Active: 2011-2022
Publications (10 Years): 4

Top Topics

Maximum Cardinality

Bipartite Graph

Graph Representation

Mathematical Programming

Top Venues

Ann. Pure Appl. Log.

Notre Dame J. Formal Log.

Publications

Stephen Flood, Matthew Jura, Oscar Levin, Tyler Markkanen
The computational strength of matchings in countable graphs. Ann. Pure Appl. Log. 173 (8) (2022)
Damir D. Dzhafarov, Stephen Flood, Reed Solomon, Linda Brown Westrick
Effectiveness for the Dual Ramsey Theorem. Notre Dame J. Formal Log. 62 (3) (2021)
Stephen Flood
Ordinals and graph decompositions. Ann. Pure Appl. Log. 168 (4) (2017)
Stephen Flood, Henry Towsner
Separating principles below WKL0. Math. Log. Q. 62 (6) (2016)
Stephen Flood
Reverse mathematics and a Ramsey-type König's Lemma. J. Symb. Log. 77 (4) (2012)
Rosalie Carlson, Stephen Flood, Kevin O'Neill, Francis Edward Su
A Tur'an-type problem for circular arc graphs CoRR (2011)