[ont.events] Colloquium - Playing Games in the Dot-Depth Hierarchy

mary@deepthot.UUCP (Mary MacVicar) (04/09/84)

                      Professor A. Adamson
                    Department of Mathematics
                     University of Waterloo

                          will speak on
                                                       
            PLAYING GAMES IN THE DOT-DEPTH HIERARCHY

                           A B S T R A C T
 
This talk is an exposition of a new proof by Wolfgang Thomas of
the theorem that the dot-depth hierarchy of star-free regular
sets is infinite.  The proof uses logic and related game-theoretic
ideas.

                DATE:  Thursday, April l2, 1984

                TIME:  2:30 p.m.

                PLACE: Middlesex College, Room 354
                       The University of Western Ontario
                       London, Ontario.  CANADA
-- 
...!utzoo!uwo!deepthot!mary
(Mary Macvicar @ UWO Comp Sci, London Canada)