Login / Signup

A graph-theoretical axiomatization of oriented matroids.

Kolja B. KnauerJuan José Montellano-BallesterosRicardo Strausz
Published in: Electron. Notes Discret. Math. (2011)
Keyphrases
  • graph theoretical
  • graph theory
  • situation calculus
  • independent set
  • objective function
  • upper bound
  • social network analysis
  • modal logic
  • general theory
  • complete axiomatization