Login / Signup

Satisfiability and Validity Problems in Many-Sorted Composition-Nominative Pure Predicate Logics.

Mykola S. NikitchenkoValentyn G. Tymofieiev
Published in: ICTERI (Revised Selected Papers) (2012)
Keyphrases
  • np complete
  • computational complexity
  • solving problems
  • computational properties
  • neural network
  • expressive power
  • problems involving
  • web services
  • data model
  • optimization problems
  • benchmark problems