Restricted accessResearch articleFirst published online 1980

The metric space of infinite trees. Algebraic and topological properties

and

Volume 3, Issue 4https://doi.org/10.3233/FI-1980-3405

Abstract

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.

Keywords

Infinite trees Ultrametric spaces Algebraic semantics Nondetermininistic programms

Get full access to this article

View all access options for this article.