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 ] |