Login / Signup

Dual and Axiomatic Systems for Constructive S4, a Formally Verified Equivalence.

Lourdes Del Carmen González-HuescaFavio E. Miranda-PereaP. Selene Linares-Arévalo
Published in: LSFA (2019)
Keyphrases
  • databases
  • information systems
  • management system
  • complex systems
  • social networks
  • computing systems
  • real time
  • image processing
  • decision trees
  • search algorithm
  • expert systems
  • building blocks
  • retrieval systems