×

zbMATH — the first resource for mathematics

The metric space of infinite trees. Algebraic and topological properties. (English) Zbl 0453.68021

MSC:
68Q99 Theory of computing
68Q60 Specification and verification (program logics, model checking, etc.)
68Q55 Semantics in the theory of computing
54H99 Connections of general topology with other structures, applications
68N01 General topics in the theory of software
PDF BibTeX XML Cite