Extending Two-Variable Logic on Trees∗† Bartosz Bednarczyk1 , Witold Charatonik2 , and Emanuel Kieroński3 1 University of Wrocław, Wrocław, Poland

First Page		Document Content
Date: 2017-08-14 08:48:29		Extending Two-Variable Logic on Trees∗† Bartosz Bednarczyk1 , Witold Charatonik2 , and Emanuel Kieroński3 1 University of Wrocław, Wrocław, Poland Add to Reading List Source URL: drops.dagstuhl.de Download Document from Source Website File Size: 614,60 KB Share Document on Facebook