Login / Signup

Distinguishing standard SBL-algebras with involutive negations by propositional formulas.

Zuzana HanikováPetr Savický
Published in: Math. Log. Q. (2008)
Keyphrases
  • propositional formulas
  • linear programming
  • propositional logic
  • data structure
  • dynamic programming
  • upper bound