Publication:2767003
From MaRDI portal
zbMath0988.68559MaRDI QIDQ2767003
Publication date: 22 July 2002
Formal languages and automata (68Q45) Graph theory (including graph drawing) in computer science (68R10) Descriptive complexity and finite models (68Q19)
Related Items
Existential monadic second order logic on random rooted trees, GETGRATS, Matrix Partitions with Finitely Many Obstructions