Login / Signup

Satisfiability of Systems of Equations of Real Analytic Functions Is Quasi-decidable.

Peter FranekStefan RatschanPiotr Zgliczynski
Published in: MFCS (2011)
Keyphrases
  • real life
  • real world
  • distributed systems
  • information systems
  • computational complexity
  • expert systems
  • np hard
  • management system
  • complex systems
  • satisfiability problem
  • linear systems