Login / Signup

Deciding First Order Properties of Matroids.

Tomas GavenciakDaniel KrálSang-il Oum
Published in: ICALP (2) (2012)
Keyphrases
  • structural properties
  • first order logic
  • desirable properties
  • real world
  • case study
  • higher order
  • independent set