<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=undefined&type=result"></script>');
-->
</script>

COPY SCRIPT

For further information contact us at helpdesk@openaire.eu

Tree Canonization and Transitive Closure

Tree canonization and transitive closure

descriptionPublicationkeyboard_double_arrow_right Article 01 Feb 2000 United States Publisher:Elsevier BVJournal:Information and Computation, volume 157, pages 2-24 (issn: 0890-5401,

Authors: Etessami, E; Immerman, N;

doi: 10.1006/inco.1999.2835 , 10.1109/lics.1995.523268

Tree Canonization and Transitive Closure

- Summary
- Subjects
- Related research
  (1)
- Metrics

Abstract

zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Country

United States

Related Organizations

University of Massachusetts System
United States
Bell Labs
United States
University of Massachusetts Amherst
United States

Keywords

descriptive complexity theory, transitive closure operator, local orderings, Ehrenfeucht-Fraïssé game, Model theory of finite structures, Theoretical Computer Science, Computer Science Applications, Computational Theory and Mathematics, counting quantifiers, Descriptive complexity and finite models, tree isomorphism, Information Systems

1 Research products, page 1 of 1

Circuit Lower Bounds via Ehrenfeucht-Fraisse Games
2006IsAmongTopNSimilarDocuments

Impact byBIP!

	citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	16
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Top 10%
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Top 10%