Searching for "The Infinite Tree." – sorted by Relevance.
-
The infinite tree
- The Infinite Tree Jenny Rose Finkel, Trond Grenager, and Christopher D. Manning Computer Science
- Cited by 6 (0 self) – Add To MetaCart
-
Infinite Trees and the Future
- Infinite Trees and the Future # Camil Demetrescu + , Giuseppe Di Battista # , Irene Finocchi
- Cited by 1 (0 self) – Add To MetaCart
-
Equational and membership constraints for infinite trees
- -14 Equational and Membership Constraints for Infinite Trees Joachim Niehren, Andreas Podelski, Ralf Treinen
- Cited by 3 (2 self) – Add To MetaCart
-
Colorings of the D-Regular Infinite Tree
- Colorings of the d-regular innite tree Shlomo Hoory Nathan Linial yz October 15, 2002 Abstract
- Add To MetaCart
-
Improving the Representation of Infinite Trees to Deal with Sets of Trees
- Improving the Representation of Infinite Trees to Deal with Sets of Trees Laurent Mauborgne LIENS
- Cited by 8 (1 self) – Add To MetaCart
-
Deciding Emptiness for Stack Automata on Infinite Trees
- on infinite trees is decidable in elementary time. We first establish the decidability of the emptiness
- Cited by 7 (1 self) – Add To MetaCart
-
On the expressiveness of deterministic transducers over infinite trees
- On the Expressiveness of Deterministic Transducers over Infinite Trees ⋆ Thomas Colcombet 1
- Cited by 1 (0 self) – Add To MetaCart
-
Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite Trees
- Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite Trees
- Cited by 42 (12 self) – Add To MetaCart
-
Bootstrap percolation on infinite trees and non-amenable groups
- BOOTSTRAP PERCOLATION ON INFINITE TREES AND NON-AMENABLE GROUPS JÓZSEF BALOGH, YUVAL PERES
- Cited by 2 (1 self) – Add To MetaCart
-
Effective Transformations on Infinite Trees, with Applications to High Undecidability, Dominoes
- Effective Transformations on Infinite Trees, with Applications to High Undecidability, Dominoes
- Cited by 20 (2 self) – Add To MetaCart

