Login / Signup

Optimization techniques for propositional intuitionistic logic and their implementation.

Alessandro AvelloneGuido FiorinoUgo Moscato
Published in: Theor. Comput. Sci. (2008)
Keyphrases
  • intuitionistic logic
  • classical logic
  • artificial intelligence
  • first order logic
  • propositional logic