Login / Signup

Optimal Axiomatizations of Finitely Valued Logics.

Gernot Salzer
Published in: Inf. Comput. (2000)
Keyphrases
  • database
  • object oriented
  • classical logic
  • decision procedures