Publikationen von Arnaud Carayol

Publikationen am Lehrstuhl für Informatik 7

[CL07] Arnaud Carayol and Christof Löding. MSO on the infinite binary tree: Choice and order. In Proceedings of the 16th Annual Conference of the European Association for Computer Science Logic, CSL 2007, volume 4646 of Lecture Notes in Computer Science, pages 161-176. Springer, 2007. (c) Springer.
[ pdf | Abstract ]