# Computation tree

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2016

2016

- PLDI
- 2016

A computation tree of a program execution describes computations of functions and their dependencies. A computation treeâ€¦Â (More)

Is this relevant?

2008

2008

- SOFTVIS
- 2008

The computation trees of the Tutte Polynomial algorithm are very large. Understanding the effects of applying heuristics to theâ€¦Â (More)

Is this relevant?

2008

2008

- ATVA
- 2008

Model checking has proven to be a useful analysis technique not only for concurrent systems, but also for the genetic regulatoryâ€¦Â (More)

Is this relevant?

Highly Cited

2007

Highly Cited

2007

- IEEE Transactions on Information Theory
- 2007

Conventionally, in each low-density parity-check (LDPC) decoding iteration all the variable nodes and subsequently all the checkâ€¦Â (More)

Is this relevant?

Highly Cited

2006

Highly Cited

2006

- 21st Annual IEEE Symposium on Logic in Computerâ€¦
- 2006

We prove that the modal mu-calculus model-checking problem for (ranked and ordered) node-labelled trees that are generated byâ€¦Â (More)

Is this relevant?

1997

1997

- J. Comput. Syst. Sci.
- 1997

We show that any algebraic computation tree or any fixed-degree algebraic tree for solving the membership question of a compactâ€¦Â (More)

Is this relevant?

Highly Cited

1995

Highly Cited

1995

- SIAM J. Comput.
- 1995

In this paper, we present algorithms for enumeration of spanning trees in undi-rected graphs, with and without weights. Theâ€¦Â (More)

Is this relevant?

1985

1985

- ACM Trans. Program. Lang. Syst.
- 1985

Given a general arithmetic expression, we find a computation binary tree representation in <italic>O</italic>(log <italic>nâ€¦Â (More)

Is this relevant?

Highly Cited

1983

Highly Cited

1983

- STOC
- 1983

A topological method is given for obtaining lower bounds for the height of algebraic computation trees, and algebraic decisionâ€¦Â (More)

Is this relevant?

1981

1981

- STOC
- 1981

We examine three ways of restricting the size (and shape) of the accepting computation trees of alternating Turing machines.
Weâ€¦Â (More)

Is this relevant?