Fundamenta Informaticae · 1980 · 107 citations · 0 references
Natural SciencesComputer ScienceMathematicsSet TheoryTheory Of ComputationTopologyComputational TopologyFinite GeometryMetric GeometryRecursion TheorySet-theoretic TopologyTopological CombinatoricsInfinite Dimensional TopologyInfinite TreesMetric Geometry Of Finite SetsTopological Properties Of Infinite SetsTree Space GeometryUltrametric Spaces
The set of infinite trees is considered as an ultrametric compact space. The composition of trees is investigated. Applications to non deterministic recursive program schemes are given.