Oscar Levin

Publication Activity (10 Years)

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

Top Topics

Complex Structures

Top Venues

Arch. Math. Log.

Ann. Pure Appl. Log.

Electron. J. Comb.

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, Oscar Levin, Tyler Markkanen
A-computable graphs. Ann. Pure Appl. Log. 167 (3) (2016)
Oscar Levin, Taylor McMillan
Computing Planarity in Computable Planar Graphs. Graphs Comb. 32 (6) (2016)
Oscar Levin
Computable dimension for ordered fields. Arch. Math. Log. 55 (3-4) (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)
Asher M. Kach, Oscar Levin, Reed Solomon
Embeddings of Computable Structures. Notre Dame J. Formal Log. 51 (1) (2010)