Tree canonization and transitive closure
type: Item
instance of: scholarly article
title: Tree canonization and transitive closure
zbMATH Open document ID: 1005.03515
author: Kousha Etessami
author: Neil Immerman
published in: Information and Computation
publication date: 2003-01-14T00:00:00Z
Mathematics Subject Classification ID: 03C13
Mathematics Subject Classification ID: 68Q19
zbMATH DE Number: 1853091
zbMATH Keywords: descriptive complexity theory
zbMATH Keywords: tree isomorphism
zbMATH Keywords: transitive closure operator
zbMATH Keywords: counting quantifiers
zbMATH Keywords: Ehrenfeucht-Fraïssé game
zbMATH Keywords: local orderings
MaRDI profile type: Publication
OpenAlex ID: W2105787964
DOI: 10.1006/INCO.1999.2835
description: scientific article; zbMATH DE number 1853091