B | |
---|---|
[BB02] | Dietmar Berwanger et Achim Blumensath. The Monadic Theory of Tree-like Structures. In Erich Grädel, Wolfgang Thomas et Thomas Wilke (eds.), Automata, Logics, and Infinite Games, Lecture Notes in Computer Science 2500, pages 285-302. Springer-Verlag, 2002. |
Sélectionner
1 correspondance trouvéeListe des auteurs
- 1
- 1