Narrow your search

Library

LUCA School of Arts (3)

Odisee (3)

Thomas More Kempen (3)

Thomas More Mechelen (3)

UCLL (3)

VIVES (3)

VUB (1)


Resource type

book (3)


Language

English (3)


Year
From To Submit

2012 (1)

2006 (1)

2003 (1)

Listing 1 - 3 of 3
Sort by
Proceedings of the 7th & 8th Asian Logic Conferences : Hsi-Tou, Taiwan, 6-10 June 1999, Chongqing, China, 29 August-2 September 2002
Authors: ---
ISBN: 1281908819 9786611908812 9812705813 9789812705815 9781281908810 9812382615 9789812382610 6611908811 Year: 2003 Publisher: River Edge ; London : World Scientific,

Loading...
Export citation

Choose an application

Bookmark

Abstract

The 7th and the 8th Asian Logic Conferences belong to the series of logic conferences inaugurated in Singapore in 1981. This meeting is held once 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 for Symbolic Logic.This book contains papers - many of them surveys by leading experts - of both the 7th meeting (in Hsi-Tou, Taiwan) and the 8th (in Chongqing, China). The volume planned for the 7


Book
Proceedings of the 11th Asian Logic Conference : in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009
Authors: --- ---
ISBN: 1283433966 9786613433961 9814360546 9789814360548 9789814360531 9814360538 Year: 2012 Publisher: Hackensack, N.J. : World Scientific,

Loading...
Export citation

Choose an application

Bookmark

Abstract

The Asian Logic Conference is part of the series of logic conferences inaugurated in Singapore in 1981. It is normally held every three years and rotates among countries in the Asia-Pacific region. The 11th Asian Logic Conference was held at the National University of Singapore, in honor of Professor Chong Chitat on the occasion of his 60th birthday. The conference is on the broad area of logic, including theoretical computer science. It is considered a major event in this field and is regularly sponsored by the Association of Symbolic Logic. This volume contains papers from this meeting.

Mathematical logic in Asia : proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005
Authors: --- --- ---
ISBN: 1281924431 9786611924430 981277274X 9789812772749 9781281924438 9789812700452 9812700455 Year: 2006 Publisher: Singapore ; Hackensack, NJ : World Scientific,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Devoted to the main areas of mathematical logic and applications to computer science, this volume features 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.

Listing 1 - 3 of 3
Sort by


Copyright ©2024 SemperTool