DS-2010-08: Amélie Gheerbrant Fixed-Point Logics on Trees 1.Full Text, 2.Abstract, 3.Samenvatting, 4.Cover. < Back