Matthew Jura

Publication Activity (10 Years)

Years Active: 2014-2022
Publications (10 Years): 3

Top Topics

Complex Structures

Top Venues

Ann. Pure Appl. Log.

Electron. J. Comb.

Arch. Math. 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)
Matthew Jura
Reverse Mathematics and the Coloring Number of Graphs. Notre Dame J. Formal Log. 57 (1) (2016)
Matthew Jura, Oscar Levin, Tyler Markkanen
A-computable graphs. Ann. Pure Appl. Log. 167 (3) (2016)
Matthew Jura, Oscar Levin, Tyler Markkanen
Finding Domatic Partitions in Infinite Graphs. Electron. J. Comb. 22 (3) (2015)
Matthew Jura, Oscar Levin, Tyler Markkanen
Domatic partitions of computable graphs. Arch. Math. Log. 53 (1-2) (2014)