scientific article

zbMath0479.68059MaRDI QIDQ3938507

György Turán

Publication date: 1981

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

compassalgorithms on graphscellular graph-automataclasses of recognizable propertiesexistence of an automorphism in a graphsecond-order sentencessecond-order undefinabilitysubgraph-definable properties

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Model theory (03C99) Automata and formal grammars in connection with logical questions (03D05) Cellular automata (computational aspects) (68Q80) Graph theory (05C99) Algorithms in computer science (68W99)

Related Items

On the definability of properties of finite graphs