Deciding First Order Properties of Matroids

Tomás Gavenciak, Daniel Král, Sang-il Oum. Deciding First Order Properties of Matroids. In Artur Czumaj, Kurt Mehlhorn, Andrew M. Pitts, Roger Wattenhofer, editors, Automata, Languages, and Programming - 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II. Volume 7392 of Lecture Notes in Computer Science, pages 239-250, Springer, 2012. [doi]

Authors

Tomás Gavenciak

This author has not been identified. Look up 'Tomás Gavenciak' in Google

Daniel Král

This author has not been identified. Look up 'Daniel Král' in Google

Sang-il Oum

This author has not been identified. Look up 'Sang-il Oum' in Google