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