Deciding First Order Properties of Matroids
From MaRDI portal
Publication:3167015
DOI10.1007/978-3-642-31585-5_24zbMath1367.03022arXiv1108.5457MaRDI QIDQ3167015
Tomáš Gavenčiak, Sang-il Oum, Daniel Král'
Publication date: 1 November 2012
Published in: Automata, Languages, and Programming (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1108.5457
68Q25: Analysis of algorithms and problem complexity
05B35: Combinatorial aspects of matroids and geometric lattices
03B25: Decidability of theories and sets of sentences
Related Items
Covering Vectors by Spaces: Regular Matroids, On the Number of Circuits in Regular Matroids (with Connections to Lattices and Codes), Matrices of Optimal Tree-Depth and a Row-Invariant Parameterized Algorithm for Integer Programming, First order convergence of matroids