
Proceedings Of The 10th Asian Logic Conference
Kobe, Japan, 1-6 September 2008
World Scientific Publishing Co Pte Ltd
Will be published approx. on 4. December 2009
Book
Hardback
404 pages
978-981-4293-01-3 (ISBN)
Description
The 10th Asian Logic Conference is part of the series of logic conferences inaugurated in Singapore in 1981. This meeting is held every three years and rotates among countries in the Asia-Pacific region, with interests in the broad area of logic, including theoretical computer science. It is now considered a major conference in this field and is regularly sponsored by the Association of Symbolic Logic.This volume contains papers from the 10th meeting held in Kobe, Japan.
More details
Language
English
Place of publication
Singapore
Singapore
Target group
College/higher education
Professional and scholarly
Researchers in mathematical logic and algebra, computer scientists in artificial intelligence and fuzzy logic.
Product notice
sewn/stitched
Paper over boards
Dimensions
Height: 226 mm
Width: 152 mm
Thickness: 25 mm
Weight
703 gr
ISBN-13
978-981-4293-01-3 (9789814293013)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Persons
Editor
Nus, S'pore
Victoria Univ Of Wellington, New Zealand
Chinese Academy Of Sciences, China
Kobe Univ, Japan
Japan Advanced Inst Of Sci & Tech, Japan
Chiba Univ, Japan
Kobe University, Japan
Content
Constructive Geometry (M Beeson); I-Ultrafilters and Summable Ideals (J Flaskova); Lowness and Highness Properties for Randomness Notions (J Franklin); Countable Borel Equivalence Relations, Borel Reducibility, and Orbit Equibalance (G Hjorth); A Remark on Generic Structures and the Number of Countable Models (K Ikeda); Geometric Simplicity Theory (B Kim); On Preservation and Reflection of Stationary Subsets of P? ? When cf ? < ? (H Sakai); Turing Degrees and the Ershov Hierarchy (F Stephan et al.); Weak Randomness, Genericity and Boolean Decision Trees (T Suzuki & M Kumabe); A Note on Multiple Inductive Definitions (K Tanaka); and other papers.