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.

15 December 2008, Logic Tea, Amélie Gheerbrant (ILLC)

Speaker: Amélie Gheerbrant (ILLC)
Title: Complete Axiomatizations of fragments of MSO on Finite Trees
Date: 15 December 2008
Time: 17:00-18:00
Location: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam

The relevant paper can be downloaded from http://www.illc.uva.nl/Publications/ResearchReports/PP-2008-44.text.pdf. For more information on this talk and future events please refer to the website at http://www.illc.uva.nl/logic_tea/ or contact Edgar Andrade (), Lorenz Demey (), or Yurii Khomskii ().

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