A note on naturally embedded ternary trees.
Kuba, Markus (2011)
The Electronic Journal of Combinatorics [electronic only]
Similarity:
Kuba, Markus (2011)
The Electronic Journal of Combinatorics [electronic only]
Similarity:
Székely, Laszlo A., Erdős, Péter L., Steel, M.A. (1992)
Séminaire Lotharingien de Combinatoire [electronic only]
Similarity:
Prodinger, Helmut (1996)
Séminaire Lotharingien de Combinatoire [electronic only]
Similarity:
Iriarte Giraldo, Benjamin (2010)
The Electronic Journal of Combinatorics [electronic only]
Similarity:
Chapoton, Frédéric (2007)
Séminaire Lotharingien de Combinatoire [electronic only]
Similarity:
Aval, Jean-Christophe, Viennot, Xavier (2010)
Séminaire Lotharingien de Combinatoire [electronic only]
Similarity:
Grzegorz Bancerek (2012)
Formalized Mathematics
Similarity:
We interoduce a new characterization of algebras of normal forms of term rewriting systems [35] as algerbras of term free in itself (any function from free generators into the algebra generates endomorphism of the algebra). Introduced algebras are free in classes of algebras satisfying some sets of equalities. Their universes are subsets of all terms and the denotations of operation symbols are partially identical with the operations of construction of terms. These algebras are compiler...
Kuba, Markus, Wagner, Stephan (2006)
Séminaire Lotharingien de Combinatoire [electronic only]
Similarity:
Saharon Shelah, R. Jin (1992)
Fundamenta Mathematicae
Similarity:
By an - tree we mean a tree of power and height . Under CH and we call an -tree a Jech-Kunen tree if it has κ-many branches for some κ strictly between and . In this paper we prove that, assuming the existence of one inaccessible cardinal, (1) it is consistent with CH plus that there exist Kurepa trees and there are no Jech-Kunen trees, which answers a question of [Ji2], (2) it is consistent with CH plus that there only exist Kurepa trees with -many branches, which answers...
Duško Jojić (2012)
Publications de l'Institut Mathématique
Similarity:
Drmota, Michael, Prodinger, Helmut (2002)
Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only]
Similarity: