Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

31 August 2012, Master of Logic defense, Fabio Zanasi

Candidate: Fabio Zanasi
Title: Expressiveness of Monadic Second Order Logic on Infinite Trees of Arbitrary Branching Degree
Date: Friday 31 August 2012
Time: 11:00-12:30
Location: Room B0.203, Science Park 904, Amsterdam
Supervisor: Alessandro Facchini and Yde Venema

Please note that this newsitem has been archived, and may contain outdated information or links.