Recognisability Equals Definability for Finitely Representable Matroids of Bounded Path-Width.
Rutger Campbell, Bruno Guillon, Mamadou Moustapha Kant, Eun Jung Kim, Sang-il Oum
Browse the full LICS paper archive.
Rutger Campbell, Bruno Guillon, Mamadou Moustapha Kant, Eun Jung Kim, Sang-il Oum
Browse the full LICS paper archive.