Defining bicircular matroids in monadic logic

DOI10.1093/qmath/haab020arXiv2005.04526MaRDI QIDQ6340366

Daryl Funk, Michael W. Newman, Dillon Mayhew

Publication date: 9 May 2020

Mathematics Subject Classification ID

Combinatorial aspects of matroids and geometric lattices (05B35) Interpolation, preservation, definability (03C40) Higher-order logic (03B16)

This page was built for publication: Defining bicircular matroids in monadic logic