Sign in

Dual Systems of Tableaux and Sequents for PLTL.

Joxe GaintzarainMontserrat HermoPaqui LucioMarisa NavarroFernando Orejas
Published in: J. Log. Algebraic Methods Program. (2009)
Keyphrases
  • management system
  • real time
  • distributed systems
  • neural network
  • expert systems
  • building blocks
  • databases
  • computer systems
  • knowledge based systems
  • desirable properties