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 https://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 https://www.illc.uva.nl/logic_tea/ or contact Edgar Andrade (E.J.AndradeLotero at uva.nl), Lorenz Demey (lorenzdemey at hotmail.com), or Yurii Khomskii (Y.D.Khomskii at uva.nl).
Please note that this newsitem has been archived, and may contain outdated information or links.