Login / Signup

Some General Incompleteness Results for Partial Correctness Logics

Maria Teresa Hortalá-GonzálezFrancisca Lucio-CarrascoMario Rodríguez-Artalejo
Published in: Inf. Comput. (1988)
Keyphrases
  • special case
  • expressive power
  • databases
  • data mining
  • genetic algorithm
  • computer vision
  • feature selection
  • closely related
  • machine learning
  • knowledge base
  • web services
  • data structure
  • first order logic