Newman, Mike

1. Tree automata and pigeonhole classes of matroids: I
   2019/10/10 by Daryl Funk, Funk, Daryl, Dillon Mayhew +2 · 2 citations
   Computer Science · #Combinatorics (math.CO) #FOS: Mathematics #Formal Methods in Verification #Logic, programming, and type systems #semigroups and automata theory
2. Fractal classes of matroids
   2019/07/31 by Mayhew, Dillon, Newman, Mike, Whittle, Geoff · 1 citation
   #Combinatorics (math.CO) #FOS: Mathematics
3. Yes, the "missing axiom" of matroid theory is lost forever
   2014/12/29 by Mayhew, Dillon, Newman, Mike, Whittle, Geoff · 1 citation
   #05B35 #Combinatorics (math.CO) #FOS: Mathematics
4. Defining bicircular matroids in monadic logic
   2020/05/09 by Funk, Daryl, Mayhew, Dillon, Newman, Mike · 1 citation
   #Combinatorics (math.CO) #FOS: Mathematics