Mathematical Logic In Asia - Proceedings Of The 9th Asian Logic Conference

Available
0
StarStarStarStarStar
0Reviews
Unknown authorUnknown author
This volume is devoted to the main areas of mathematical logic and applications to computer science. There are articles on weakly o-minimal theories, algorithmic complexity of relations, models within the computable model theory, hierarchies of randomness tests, computable numberings, and complexity problems of minimal unsatisfiable formulas. The problems of characterization of the deduction-detac...
Read more
product_type_E-book
pdf
Price
49.00 £
This volume is devoted to the main areas of mathematical logic and applications to computer science. There are articles on weakly o-minimal theories, algorithmic complexity of relations, models within the computable model theory, hierarchies of randomness tests, computable numberings, and complexity problems of minimal unsatisfiable formulas. The problems of characterization of the deduction-detac...
Read more

Options

  • Formats: pdf
  • ISBN: 9789814476928
  • Publication Date: 23 Oct 2006
  • Publisher: World Scientific Publishing Company
  • Product language: English
  • Drm Setting: DRM