Login / Signup

Frege Proof System and TNC°.

Gaisi Takeuti
Published in: LCC (1994)
Keyphrases
  • modal logic
  • model checker
  • intuitionistic logic
  • evolutionary algorithm
  • databases
  • genetic algorithm
  • decision trees
  • model checking
  • temporal logic